Received: from mail-lb0-f189.google.com ([209.85.217.189]:65363)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCMHEmaCOBhDekLj_BBoEmMHyHg@googlegroups.com>)
	id 1SkhIl-0008Sk-7W; Fri, 29 Jun 2012 12:56:24 -0700
Received: by lbol5 with SMTP id l5sf2512573lbo.16
        for <multiple recipients>; Fri, 29 Jun 2012 12:56:15 -0700 (PDT)
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-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=pECplAuiggxOHws259eHp5Bh67vhJT0dRFSZ56Nd/H4=;
        b=Y1uQXih6z0v26pszTYVDF6dOMNbiYRA6XDBLQpE4tZQPjcTAR1wL8h04F2diTZ8lvR
         UgvCmL5krDlQw+ParnGD0pEhZXHKLL0o18bdqRGKisfqyf23E/8o2eI7IvZvnCSJT6VR
         kYj1bRKC89Y8zdQpHiJgUoHMdKxG4gMgrGopk=
Received: by 10.204.9.194 with SMTP id m2mr183621bkm.35.1340999774871;
        Fri, 29 Jun 2012 12:56:14 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.8.149 with SMTP id h21ls4286426bkh.3.gmail; Fri, 29 Jun
 2012 12:56:14 -0700 (PDT)
Received: by 10.205.122.65 with SMTP id gf1mr430957bkc.2.1340999774027;
        Fri, 29 Jun 2012 12:56:14 -0700 (PDT)
Received: by 10.205.122.65 with SMTP id gf1mr430956bkc.2.1340999774001;
        Fri, 29 Jun 2012 12:56:14 -0700 (PDT)
Received: from mail-lb0-f176.google.com (mail-lb0-f176.google.com [209.85.217.176])
        by gmr-mx.google.com with ESMTPS id ig3si2814431bkc.3.2012.06.29.12.56.13
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 29 Jun 2012 12:56:13 -0700 (PDT)
Received-SPF: pass (google.com: domain of eyeonus@gmail.com designates 209.85.217.176 as permitted sender) client-ip=209.85.217.176;
Received: by lboj14 with SMTP id j14so7159543lbo.21
        for <lojban@googlegroups.com>; Fri, 29 Jun 2012 12:56:13 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.152.144.168 with SMTP id sn8mr3330872lab.1.1340999773620; Fri,
 29 Jun 2012 12:56:13 -0700 (PDT)
Received: by 10.152.46.36 with HTTP; Fri, 29 Jun 2012 12:56:13 -0700 (PDT)
In-Reply-To: <CAOQ8VDVXAD+q0755ETH+USQVMKAFXX3N=GphNBEX5YABufFx0Q@mail.gmail.com>
References: <CAOQ8VDVXAD+q0755ETH+USQVMKAFXX3N=GphNBEX5YABufFx0Q@mail.gmail.com>
Date: Fri, 29 Jun 2012 13:56:13 -0600
Message-ID: <CAMKwHj2_k3V0LDZeDrNphQDcOVhsrkxHjz03PqPhyrU12vAVXA@mail.gmail.com>
Subject: Re: [lojban] Glitch in jbovlaste
From: Jonathan Jones <eyeonus@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: eyeonus@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of eyeonus@gmail.com designates 209.85.217.176 as permitted sender)
 smtp.mail=eyeonus@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: multipart/alternative; boundary=e89a8f2346872689b804c3a1d758
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

--e89a8f2346872689b804c3a1d758
Content-Type: text/plain; charset=ISO-8859-1

What is "ey"? I keep seeing that. Is it being used to mean [s]he?

On Fri, Jun 29, 2012 at 1:50 PM, Jacob Errington <nictytan@gmail.com> wrote:

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


-- 
mu'o mi'e .aionys.

.i.e'ucai ko cmima lo pilno be denpa bu .i doi.luk. mi patfu do zo'o
(Come to the Dot Side! Luke, I am your father. :D )

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


--e89a8f2346872689b804c3a1d758
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

What is &quot;ey&quot;? I keep seeing that. Is it being used to mean [s]he?=
<br><br><div class=3D"gmail_quote">On Fri, Jun 29, 2012 at 1:50 PM, Jacob E=
rrington <span dir=3D"ltr">&lt;<a href=3D"mailto:nictytan@gmail.com" target=
=3D"_blank">nictytan@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex">coi rodo<br>
<br>
Trying to search for mikri with valsi today in #lojban yielded some<br>
interesting, albeit perhaps already known errors in jbovlaste.<br>
It turns out that jbovlaste has some major issues in the way it<br>
handles links and TeX and exponentials. In fact, jbovlaste thinks that<br>
the -6 in [$10^{-6}$] is a link.<br>
It seems like valsi doesn&#39;t quite have this problem, which means that<b=
r>
donri knows what ey&#39;s doing :) Searching for &quot;1E-6&quot; *does* re=
turn<br>
{mikri} in valsi.<br>
<br>
Now, I don&#39;t know if it&#39;s actually possible to *fix* JVS because ti=
&#39;e<br>
the original developer is no longer with us and no one knows how to<br>
use ey&#39;s stuff.<br>
At least, can we say that in JVS2 this will be fixed?<br>
<br>
ki&#39;e<br>
mu&#39;o mi&#39;e la tsani<br>
<span class=3D"HOEnZb"><font color=3D"#888888"><br>
--<br>
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br>
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br>
To unsubscribe from this group, send email to <a href=3D"mailto:lojban%2Bun=
subscribe@googlegroups.com">lojban+unsubscribe@googlegroups.com</a>.<br>
For more options, visit this group at <a href=3D"http://groups.google.com/g=
roup/lojban?hl=3Den" target=3D"_blank">http://groups.google.com/group/lojba=
n?hl=3Den</a>.<br>
<br>
</font></span></blockquote></div><br><br clear=3D"all"><br>-- <br>mu&#39;o =
mi&#39;e .aionys.<br><br>.i.e&#39;ucai ko cmima lo pilno be denpa bu .i doi=
.luk. mi patfu do zo&#39;o<br>(Come to the Dot Side! Luke, I am your father=
. :D )<br>
<br>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups "=
lojban" group.<br />
To post to this group, send email to lojban@googlegroups.com.<br />
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.<br />

For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.<br />



--e89a8f2346872689b804c3a1d758--