Received: from mail-lb0-f189.google.com ([209.85.217.189]:64713)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCKvA2oWYARC4jrj_BBoEqUDGRg@googlegroups.com>)
	id 1SkhE0-0008Qv-SH; Fri, 29 Jun 2012 12:51:30 -0700
Received: by lbol5 with SMTP id l5sf2510226lbo.16
        for <multiple recipients>; Fri, 29 Jun 2012 12:51:21 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:from:date:message-id:subject
         :to:x-original-sender:x-original-authentication-results:reply-to
         :precedence:mailing-list:list-id:x-google-group-id:list-post
         :list-help:list-archive:sender:list-subscribe:list-unsubscribe
         :content-type;
        bh=GK0/aZ7ivLqAvLJXq1MI4FO9+acdXxwy5MHSKxfQ3YI=;
        b=SUyaaTALLs1sqjavg4nEXUuHZ7eIpKPUeqXLT55kjg9nsHHED9CuflBISYHJSu3Ivu
         +a9sSLuwXb6XNhkHsG7tHz5lP6g3nfiOAU7ogkqNTacUhcpiaEwXEPdnrkCYXYlD0E4p
         ZJR7cGxLyF+jWFReF+HXRbmhgHzU3dM8CVfBg=
Received: by 10.204.153.205 with SMTP id l13mr214110bkw.15.1340999480815;
        Fri, 29 Jun 2012 12:51:20 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.130.145 with SMTP id t17ls4383203bks.8.gmail; Fri, 29 Jun
 2012 12:51:20 -0700 (PDT)
Received: by 10.204.152.217 with SMTP id h25mr428839bkw.3.1340999479944;
        Fri, 29 Jun 2012 12:51:19 -0700 (PDT)
Received: by 10.204.152.217 with SMTP id h25mr428838bkw.3.1340999479932;
        Fri, 29 Jun 2012 12:51:19 -0700 (PDT)
Received: from mail-bk0-f42.google.com (mail-bk0-f42.google.com [209.85.214.42])
        by gmr-mx.google.com with ESMTPS id ig3si2805534bkc.3.2012.06.29.12.51.19
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 29 Jun 2012 12:51:19 -0700 (PDT)
Received-SPF: pass (google.com: domain of nictytan@gmail.com designates 209.85.214.42 as permitted sender) client-ip=209.85.214.42;
Received: by bkcje2 with SMTP id je2so2518460bkc.15
        for <lojban@googlegroups.com>; Fri, 29 Jun 2012 12:51:19 -0700 (PDT)
Received: by 10.204.148.72 with SMTP id o8mr1658373bkv.127.1340999479650; Fri,
 29 Jun 2012 12:51:19 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.204.149.201 with HTTP; Fri, 29 Jun 2012 12:50:59 -0700 (PDT)
From: Jacob Errington <nictytan@gmail.com>
Date: Fri, 29 Jun 2012 15:50:59 -0400
Message-ID: <CAOQ8VDVXAD+q0755ETH+USQVMKAFXX3N=GphNBEX5YABufFx0Q@mail.gmail.com>
Subject: [lojban] Glitch in jbovlaste
To: lojban@googlegroups.com
X-Original-Sender: nictytan@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of nictytan@gmail.com designates 209.85.214.42 as permitted sender)
 smtp.mail=nictytan@gmail.com; dkim=pass header.i=@gmail.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
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: /

coi rodo

Trying to search for mikri with valsi today in #lojban yielded some
interesting, albeit perhaps already known errors in jbovlaste.
It turns out that jbovlaste has some major issues in the way it
handles links and TeX and exponentials. In fact, jbovlaste thinks that
the -6 in [$10^{-6}$] is a link.
It seems like valsi doesn't quite have this problem, which means that
donri knows what ey's doing :) Searching for "1E-6" *does* return
{mikri} in valsi.

Now, I don't know if it's actually possible to *fix* JVS because ti'e
the original developer is no longer with us and no one knows how to
use ey's stuff.
At least, can we say that in JVS2 this will be fixed?

ki'e
mu'o mi'e la tsani

-- 
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.