2016-01-28 12:49 GMT+03:00 Remo Dentato <rdentato@gmail.com>:It would be great to have, in vlasisku, a link to dowload the dictionary as a raw file (most probably the XML export from jbovlaste).For now you can use these:--On Wed, Jan 27, 2016 at 6:45 PM, la durka <durka42@gmail.com> wrote:The main vlasisku instance is quite out of date. Mine is more up-to-date (I just ran it today, prompted by this): http://vlasisku.alexburka.com/I need to get around to merging my bugfixes back into the main code, then we can enable auto-updates on vlasisku.lojban.org.- mu'o mi'e la durkavore
El miércoles, 27 de enero de 2016, 9:12:43 (UTC-5), Pierre Abbat escribió:I see words that were entered into jbovlaste half a year ago, but don't appear
in vlasisku. Can someone restart updating vlasisku?
Pierre
--
li fi'u vu'u fi'u fi'u du li pa
--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to a topic in the Google Groups "lojban" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/lojban/38eWUqq0WPI/unsubscribe.
To unsubscribe from this group and all its topics, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.