Received: from mail-vc0-f192.google.com ([209.85.220.192]:44735) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XFH8s-0006Ct-7w for lojban-list-archive@lojban.org; Wed, 06 Aug 2014 23:25:39 -0700 Received: by mail-vc0-f192.google.com with SMTP id ik5sf786956vcb.9 for ; Wed, 06 Aug 2014 23:25:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:subject:message-id:mail-followup-to:references :mime-version:in-reply-to:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; bh=uG8AdSK01exIvUAUoBb2U2VweQMaoVfesptfrCAswFI=; b=agvgTJ6W0FRVSmhDFDCWz5Wo0RuG69FsW07hMgYmA+VmU1Vw9WkTAPJbEHQso/xO2F NphNH1LhGElt843/lZNj/97M+3l1QULPiZ/oYQA0J/SAZz66B3P6fGdUJvLOQSclqhxt VRAuqvbKsahSEIZ+0xTyKAg9RZw6QgvrUYAfWX08FYi189yNSga/Cg5peAP2EI3zavtb JhYB5EN1J9KGEL23EOJkA1ZTldUdw0goMBhBpnS87FlPg+26Y7GcokIyxjEewWkSGwGF r07ZVWd2EEE4bjGXlWYrjN6FUNhRXI9x28XvDYx09dvfb5TC/3nllr1IPoiB+8HtEI/3 /iZg== X-Received: by 10.50.40.69 with SMTP id v5mr1088642igk.6.1407392731345; Wed, 06 Aug 2014 23:25:31 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.120.37 with SMTP id kz5ls205969igb.6.gmail; Wed, 06 Aug 2014 23:25:30 -0700 (PDT) X-Received: by 10.50.85.42 with SMTP id e10mr18757419igz.0.1407392730954; Wed, 06 Aug 2014 23:25:30 -0700 (PDT) Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236]) by gmr-mx.google.com with ESMTPS id lh16si436136pab.2.2014.08.06.23.25.30 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 06 Aug 2014 23:25:30 -0700 (PDT) Received-SPF: none (google.com: rlpowell@digitalkingdom.org does not designate permitted sender hosts) client-ip=173.13.139.236; Received: from rlpowell by stodi.digitalkingdom.org with local (Exim 4.80.1) (envelope-from ) id 1XFH8j-0006Cm-AN for lojban@googlegroups.com; Wed, 06 Aug 2014 23:25:29 -0700 Date: Wed, 6 Aug 2014 23:25:29 -0700 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] Re: The CLL project, technical directions Message-ID: <20140807062529.GR23392@stodi.digitalkingdom.org> Mail-Followup-To: lojban@googlegroups.com References: <20131227041501.GA21848@stodi.digitalkingdom.org> <2cee2571-a652-48cb-b581-e97177c89074@googlegroups.com> <2d8a397d-0399-4631-a0ee-b16e3c8cddad@googlegroups.com> MIME-Version: 1.0 In-Reply-To: <2d8a397d-0399-4631-a0ee-b16e3c8cddad@googlegroups.com> User-Agent: Mutt/1.5.23 (2014-03-12) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: rlpowell@digitalkingdom.org does not designate permitted sender hosts) smtp.mail=rlpowell@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-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - On Wed, Aug 06, 2014 at 04:19:26PM -0700, TR NS wrote: > FYI, common question is about indexing. This is how that is done: > http://comments.gmane.org/gmane.text.pandoc/5323 Yeah, no. That only supports indexing in LaTeX (which is not enough for us), and only by terrible passthrough commands. That's awful. -- http://intelligence.org/ : Our last, best hope for a fantastic future. .i ko na cpedu lo nu stidi vau loi jbopre .i dafsku lu na go'i li'u .e lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e lu go'i na'i li'u .e lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mamta be do cu sofybakni li'u -- You received this message because you are subscribed to the Google Groups "lojban" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout.