Received: from mail-pz0-f61.google.com ([209.85.210.61]:33778) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RVJ6J-0008HA-Nw; Tue, 29 Nov 2011 00:31:40 -0800 Received: by pzk33 with SMTP id 33sf6256473pzk.16 for ; Tue, 29 Nov 2011 00:31:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-spam-score:x-spam_score :x-spam_score_int:x-spam_bar: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; bh=TNM5OhH2GQXG2r//XUrjDTA7sgQiLTd29WTcreHegK8=; b=i8FNYEV0NvIaiu1ztsifDqinGmkixmop54DPDUBOMqAR1JSCnNyMQntyvkLayfP+FV /B6loSy2ZjvNXIIkShXylJZDzwhnvyZWsU7miNSJVF26EhLoNfRjwU5r96z9N8jVObjH SGFfHC3ZVV81u1PIAnQiZaJrM6zRaVSf0qhr0= Received: by 10.68.4.136 with SMTP id k8mr3082664pbk.11.1322555491136; Tue, 29 Nov 2011 00:31:31 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.68.121.5 with SMTP id lg5ls3070607pbb.5.gmail; Tue, 29 Nov 2011 00:31:30 -0800 (PST) Received: by 10.68.35.68 with SMTP id f4mr30413927pbj.5.1322555490540; Tue, 29 Nov 2011 00:31:30 -0800 (PST) Received: by 10.68.35.68 with SMTP id f4mr30413926pbj.5.1322555490532; Tue, 29 Nov 2011 00:31:30 -0800 (PST) Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236]) by gmr-mx.google.com with ESMTPS id x5si130725pbb.1.2011.11.29.00.31.30 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 29 Nov 2011 00:31:30 -0800 (PST) Received-SPF: pass (google.com: domain of nobody@stodi.digitalkingdom.org designates 173.13.139.236 as permitted sender) client-ip=173.13.139.236; Received: from nobody by stodi.digitalkingdom.org with local (Exim 4.76) (envelope-from ) id 1RVJ69-0008H0-HV for lojban@googlegroups.com; Tue, 29 Nov 2011 00:31:29 -0800 Received: from mail-ey0-f181.google.com ([209.85.215.181]:43910) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RVJ68-0008Gq-Lf for lojban-list@lojban.org; Tue, 29 Nov 2011 00:31:29 -0800 Received: by eaah13 with SMTP id h13so3160166eaa.40 for ; Tue, 29 Nov 2011 00:31:21 -0800 (PST) MIME-Version: 1.0 Received: by 10.180.85.162 with SMTP id i2mr9604319wiz.22.1322555481366; Tue, 29 Nov 2011 00:31:21 -0800 (PST) Received: by 10.227.24.13 with HTTP; Tue, 29 Nov 2011 00:31:21 -0800 (PST) In-Reply-To: <20111129062644.GW8581@stodi.digitalkingdom.org> References: <20111129062644.GW8581@stodi.digitalkingdom.org> Date: Tue, 29 Nov 2011 09:31:21 +0100 Message-ID: Subject: Re: [lojban] Just to be clear: CLLv1.1 dev is stalled. From: Escape Landsome To: lojban@googlegroups.com, lojban-list@lojban.org X-Spam-Score: -0.8 (/) X-Spam_score: -0.8 X-Spam_score_int: -7 X-Spam_bar: / Sender: lojban@googlegroups.com X-Original-Sender: escaaape@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of nobody@stodi.digitalkingdom.org designates 173.13.139.236 as permitted sender) smtp.mail=nobody@stodi.digitalkingdom.org; dkim=pass (test mode) header.i=@gmail.com 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 X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / This is a very long time since I haven't used TeX (not LaTeX, but plain old TeX). Depending on what you're looking for, I might help. Or not. This is such a looong time... Well, I remember I used to type linguistics article with IPA characters, so... but I've forgotten how I managed it (it was in 1998) --esc -- 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.