Received: from mail-wi0-f189.google.com ([209.85.212.189]:36092)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOib25n_BhChqLj_BBoEIFzRWA@googlegroups.com>)
	id 1Ski5K-0000Ub-B3; Fri, 29 Jun 2012 13:46:46 -0700
Received: by wibhr14 with SMTP id hr14sf716215wib.16
        for <multiple recipients>; Fri, 29 Jun 2012 13:46:25 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:sender:in-reply-to:references
         :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
         :list-subscribe:list-unsubscribe:content-type;
        bh=W4ntNJYSPk6ODrJa+GOmSPiTHKHOcGYY8qWJey5f3ao=;
        b=wOJl2smbRINR7osoq3Cusy4Lv+xdup+5xXjeIR/bnGaytpyJtP4r+bsIK9rVZ7+zXo
         xBs6uqyDWD+AeDWN34DEOKb04o8UTCbUdL7rMW21/PJmIFoKZ4gi5zzsIhkGRk4FsgRQ
         Uvm16byWSBWSeB6OzvvfE+8zdgR8snHdzYZlo=
Received: by 10.204.150.91 with SMTP id x27mr218065bkv.31.1341002785393;
        Fri, 29 Jun 2012 13:46:25 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.8.149 with SMTP id h21ls4316596bkh.3.gmail; Fri, 29 Jun
 2012 13:46:23 -0700 (PDT)
Received: by 10.204.154.133 with SMTP id o5mr445027bkw.0.1341002783737;
        Fri, 29 Jun 2012 13:46:23 -0700 (PDT)
Received: by 10.204.154.133 with SMTP id o5mr445026bkw.0.1341002783664;
        Fri, 29 Jun 2012 13:46:23 -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 k7si2903489bks.2.2012.06.29.13.46.23
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 29 Jun 2012 13:46:23 -0700 (PDT)
Received-SPF: pass (google.com: domain of rpglover64@gmail.com designates 209.85.214.42 as permitted sender) client-ip=209.85.214.42;
Received: by mail-bk0-f42.google.com with SMTP id je2so2979132bkc.29
        for <lojban@googlegroups.com>; Fri, 29 Jun 2012 13:46:23 -0700 (PDT)
Received: by 10.204.151.130 with SMTP id c2mr1863120bkw.125.1341002783444;
 Fri, 29 Jun 2012 13:46:23 -0700 (PDT)
MIME-Version: 1.0
Sender: lojban@googlegroups.com
Received: by 10.205.82.65 with HTTP; Fri, 29 Jun 2012 13:46:03 -0700 (PDT)
In-Reply-To: <CAMKwHj2_k3V0LDZeDrNphQDcOVhsrkxHjz03PqPhyrU12vAVXA@mail.gmail.com>
References: <CAOQ8VDVXAD+q0755ETH+USQVMKAFXX3N=GphNBEX5YABufFx0Q@mail.gmail.com>
 <CAMKwHj2_k3V0LDZeDrNphQDcOVhsrkxHjz03PqPhyrU12vAVXA@mail.gmail.com>
From: ".arpis." <rpglover64+jbobau@gmail.com>
Date: Fri, 29 Jun 2012 16:46:03 -0400
Message-ID: <CALm==BWCVvvKiyDRghDyLOFA6HbAJEU1UX-xcx8Q931OCELqfQ@mail.gmail.com>
Subject: Re: [lojban] Glitch in jbovlaste
To: lojban@googlegroups.com
X-Original-Sender: rpglover64@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of rpglover64@gmail.com designates 209.85.214.42 as permitted sender)
 smtp.mail=rpglover64@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>
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=000e0cdfcbc08ccd3c04c3a28a7b
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

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

https://en.wikipedia.org/wiki/Spivak_pronoun

In short, yes.

On Fri, Jun 29, 2012 at 3:56 PM, Jonathan Jones <eyeonus@gmail.com> wrote:

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



-- 
mu'o mi'e .arpis.

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


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

<a href=3D"https://en.wikipedia.org/wiki/Spivak_pronoun">https://en.wikiped=
ia.org/wiki/Spivak_pronoun</a><br><br>In short, yes.<br><br><div class=3D"g=
mail_quote">On Fri, Jun 29, 2012 at 3:56 PM, Jonathan Jones <span dir=3D"lt=
r">&lt;<a href=3D"mailto:eyeonus@gmail.com" target=3D"_blank">eyeonus@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">What is &quot;ey&quot;? I keep seeing that. =
Is it being used to mean [s]he?<div class=3D"HOEnZb"><div class=3D"h5"><br>=
<br>

<div class=3D"gmail_quote">On Fri, Jun 29, 2012 at 1:50 PM, Jacob Errington=
 <span dir=3D"ltr">&lt;<a href=3D"mailto:nictytan@gmail.com" target=3D"_bla=
nk">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><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" target=3D"_blank">lojban@googlegroups.com</a>.<br>
To unsubscribe from this group, send email to <a href=3D"mailto:lojban%2Bun=
subscribe@googlegroups.com" target=3D"_blank">lojban+unsubscribe@googlegrou=
ps.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></div></div><spa=
n class=3D"HOEnZb"><font color=3D"#888888">-- <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 d=
o zo&#39;o<br>

(Come to the Dot Side! Luke, I am your father. :D )</font></span><div class=
=3D"HOEnZb"><div class=3D"h5"><br>
<br>

<p></p>

-- <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" target=3D"_blank">lojban@googlegroups.com</a>.<br>
To unsubscribe from this group, send email to <a href=3D"mailto:lojban%2Bun=
subscribe@googlegroups.com" target=3D"_blank">lojban+unsubscribe@googlegrou=
ps.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>


</div></div></blockquote></div><br><br clear=3D"all"><br>-- <br>mu&#39;o mi=
&#39;e .arpis.<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 />



--000e0cdfcbc08ccd3c04c3a28a7b--