From jjllambias@hotmail.com Wed Oct 09 18:51:22 2002 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_2_0); 10 Oct 2002 01:51:22 -0000 Received: (qmail 47310 invoked from network); 10 Oct 2002 01:51:22 -0000 Received: from unknown (66.218.66.218) by m1.grp.scd.yahoo.com with QMQP; 10 Oct 2002 01:51:22 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.92) by mta3.grp.scd.yahoo.com with SMTP; 10 Oct 2002 01:51:22 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Wed, 9 Oct 2002 18:51:22 -0700 Received: from 200.69.6.50 by lw8fd.law8.hotmail.msn.com with HTTP; Thu, 10 Oct 2002 01:51:21 GMT To: lojban@yahoogroups.com Bcc: Subject: Re: [lojban] Re: [Announcement] The Alice Translation Has Moved And Changed Date: Thu, 10 Oct 2002 01:51:21 +0000 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 10 Oct 2002 01:51:22.0346 (UTC) FILETIME=[88DF14A0:01C26FFF] From: "Jorge Llambias" X-Originating-IP: [200.69.6.50] X-Yahoo-Group-Post: member; u=6071566 X-Yahoo-Profile: jjllambias2000 X-Yahoo-Message-Num: 16573 Robin: >If you are willing to be the Official Alice Person, I will remove it from >the Wiki entirely (since you seem quite comfortable with CVS). Yes, I got used to it and find it convenient to work with. > > As for the dots (which are NOT punctuation in Lojban), wouldn't it be > > possible to generate an automatic dotted version for those who can't > > read the dotless one? > >Probably. I'm not sure about the tricky cases, but an overly >enthusiastic dot adder must be possible, and I'd be happy to write one. > >Is it a problem with you if the 'official' version has dots, and the >non-dotted version is clearly marked as such? No, as long as the file where I edit is the non-dotted one, I don't have a problem with how it is presented. The issue of dots for me is on the same level as that of choosing a font. mu'o mi'e xorxes _________________________________________________________________ Chat with friends online, try MSN Messenger: http://messenger.msn.com