[lojban] Re: Simple script making easier to read Lojban

[ianek <janek37@gmail.com>]

My bad, it's http://students.mimuw.edu.pl/~js/lpp/title-test.zip
I'm a bit afraid of putting such incomplete things on the wiki...

doi la'o gy Brian gy
Figuring out sentences is one thing, but my util only adds
definitions. Definitions aren't something you can figure out. The
choice here is to jump between the text and vlasisku, or to find a
simpler way.

On Nov 27, 4:55 am, "A. PIEKARSKI" <to...@rogers.com> wrote:
> This should be really great for newbies!  Why don't you put it on the wiki?
>
> By the way, the second link goes to Error 404.  Nothing to download.
>
> totus
>  
>
>
>
>
>
>
>
> > coi
> > I wrote a very simple script:http://janek37.pastebin.pl/31200
> > It's used with one parameter – the url of a page in Lojban. It reads
> > the page and adds titles to all recognized Lojban words. (and prints
> > the resulting HTML to stdout)
> > A sample output:
> >http://students.mimuw.edu.pl/~js/lpp/lpp.html
> > Hover on any word and you'll see it's definition from jbovlaste.
> > It's very simple, so it has some faults: it doesn't recognize
> > javascript, so don't even try it on pages with embed javascript.
> > Also, it ignores markup, so you'll see all $x_{1}$ etc. Apparently it
> > also messes with unicode and breaks the «» quotes.
> > It uses a module jbovlaste.py, which contains only one variable,
> > 'definitions', which is a tuple of pairs (word, definition).
> > You can download both files at
> >http://students.mimuw.edu.pl/~js/lpp/titletest.zip
> > I don't have very much time to play with it, so any contributions are
> > welcome :) It would be nice if it looked more like hover tips in
> > jbovlaste, and it would be extra nice if it showed definitions for
> > each rafsi in unrecognized lujvo.
>
> > mu'o mi'e ianek
>
> > --
> > 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.

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