Received: from mail-pz0-f61.google.com ([209.85.210.61]:44533) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RVUx3-0007Lq-Ly; Tue, 29 Nov 2011 13:11:04 -0800 Received: by pzk33 with SMTP id 33sf146561pzk.16 for ; Tue, 29 Nov 2011 13:10:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mail-followup-to:references:mime-version:in-reply-to:user-agent :sender:x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-google-group-id:list-post :list-help:list-archive:list-subscribe:list-unsubscribe:content-type :content-disposition; bh=cscWyGOVN5GkW+aW+gBjn3u3asVmmW5+o/I3Mx7q8V4=; b=NcPpdPfpny71NxjEcKPKiYD8KUd0uX4SbqrK+44oJoC0AIaraigfs297UGV6xYYp03 hYttF/Bi44f/uZmcQiQw+/24IWuXt5JMciMJc4dmUtgtmBLbd7fMpCng3JMGx/5ul42l pj1UpyONir3ztwZimDQTa/knBGVmwwjbOiMlM= Received: by 10.68.1.66 with SMTP id 2mr81009pbk.15.1322601045250; Tue, 29 Nov 2011 13:10:45 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.68.74.199 with SMTP id w7ls5395629pbv.7.gmail; Tue, 29 Nov 2011 13:10:44 -0800 (PST) Received: by 10.68.16.106 with SMTP id f10mr493014pbd.8.1322601044777; Tue, 29 Nov 2011 13:10:44 -0800 (PST) Received: by 10.68.16.106 with SMTP id f10mr493013pbd.8.1322601044769; Tue, 29 Nov 2011 13:10:44 -0800 (PST) Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236]) by gmr-mx.google.com with ESMTPS id u7si400490pbn.2.2011.11.29.13.10.44 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 29 Nov 2011 13:10:44 -0800 (PST) Received-SPF: pass (google.com: domain of rlpowell@stodi.digitalkingdom.org designates 173.13.139.236 as permitted sender) client-ip=173.13.139.236; Received: from rlpowell by stodi.digitalkingdom.org with local (Exim 4.76) (envelope-from ) id 1RVUwt-0007Ln-Od for lojban@googlegroups.com; Tue, 29 Nov 2011 13:10:43 -0800 Date: Tue, 29 Nov 2011 13:10:43 -0800 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] Just to be clear: CLLv1.1 dev is stalled. Message-ID: <20111129211043.GC8581@stodi.digitalkingdom.org> Mail-Followup-To: lojban@googlegroups.com References: <20111129062644.GW8581@stodi.digitalkingdom.org> MIME-Version: 1.0 In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Sender: lojban@googlegroups.com X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of rlpowell@stodi.digitalkingdom.org designates 173.13.139.236 as permitted sender) smtp.mail=rlpowell@stodi.digitalkingdom.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / On Tue, Nov 29, 2011 at 09:59:31AM +0100, Remo Dentato wrote: > Hi Robin, > > I thought the LaTeX path was ok. It will do what we want, but it needs tweaking, as I said in my last post. > I'm sorry I can't help on that, but I'll be happy to continue > exploring the docbook->html->pdf path if you think it may be useful. You're welcome to if you like; you can find various html bits at http://vrici.lojban.org/~rlpowell/media/public/tmp/, or a more-or-less full coupy at http://vrici.lojban.org/~rlpowell/media/public/tmp/docbook-cll-test-nochunks/cll_processed.html -Robin -- http://singinst.org/ : Our last, best hope for a fantastic future. Lojban (http://www.lojban.org/): The language in which "this parrot is dead" is "ti poi spitaki cu morsi", but "this sentence is false" is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.