[jbovlaste] TEI export?

[Michael van der Gulik <mikevdg@gulik.co.nz>]

Hello again.

How difficult would it be to implement a TEI export function on to 
jbovlaste? (TEI = XML format for dictionaries; more info at 
http://www.freedict.org then click on "HOWTO").

I've found http://jdict.sourceforge.net/, another word training program, 
this time open source and it takes TEI databases as input. Also, TEI to 
dictd converters are available, meaning that anybody could run a Lojban 
dictionary server.

Mikevdg.