Received: from mail-pz0-f61.google.com ([209.85.210.61]:60961) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1ROR24-00084S-La; Thu, 10 Nov 2011 01:35:01 -0800 Received: by pzk33 with SMTP id 33sf1115669pzk.16 for ; Thu, 10 Nov 2011 01:34:46 -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=GLdg2kcRqcywWuvPrHykuGohwwhyGMEWIndE6DJCveo=; b=YD9VsLXGD9JYRN1wZHxHuUDfIH/hdlGM/biA4/xlPHks2Ta3TVw4ZKD8UNWxApSUgk RIvrR4tT8Y/Y99Zwhsmd16m8uGKbddIcN+MQZca8v47m9Gajsl7OdaqbiiySIyYWpR/L Cxe4bHdzfql6tBZZX84urH4xDoIDZiKS+M/rk= Received: by 10.68.7.197 with SMTP id l5mr734236pba.14.1320917044394; Thu, 10 Nov 2011 01:24:04 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.68.75.232 with SMTP id f8ls5156244pbw.7.gmail; Thu, 10 Nov 2011 01:24:03 -0800 (PST) Received: by 10.68.0.170 with SMTP id 10mr5264003pbf.2.1320917043426; Thu, 10 Nov 2011 01:24:03 -0800 (PST) Received: by 10.68.0.170 with SMTP id 10mr5264001pbf.2.1320917043412; Thu, 10 Nov 2011 01:24:03 -0800 (PST) Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236]) by gmr-mx.google.com with ESMTPS id r5si4001pbe.1.2011.11.10.01.24.02 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 10 Nov 2011 01:24:03 -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 1ROQrZ-0007yZ-Mm for lojban@googlegroups.com; Thu, 10 Nov 2011 01:24:01 -0800 Date: Thu, 10 Nov 2011 01:24:01 -0800 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: [lojban] Valsi Message-ID: <20111110092401.GV19979@stodi.digitalkingdom.org> Mail-Followup-To: lojban@googlegroups.com References: <76F36EC7-EE01-4369-9422-04256BCF640F@gmail.com> <20111110064114.GS19979@stodi.digitalkingdom.org> <201111100225.37057.phma@phma.optus.nu> MIME-Version: 1.0 In-Reply-To: <201111100225.37057.phma@phma.optus.nu> 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.0 (/) X-Spam_score: -0.0 X-Spam_score_int: 0 X-Spam_bar: / On Thu, Nov 10, 2011 at 03:25:34AM -0400, Pierre Abbat wrote: > On Thursday 10 November 2011 01:41:14 Robin Lee Powell wrote: > > It turned out, fwiw, that someone entered bad data into > > jbovlaste; a word, xo'oi, was made with no definition. donri's > > code didn't like that. > > I just voted against the empty definition. If two more people do, > will donri's code be happy? Or you could just add text to the definition. :) He already hacked around the issue, though. -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.