Re: [Kile-devel] Unicode symbols

[Thomas B. <br...@ph...>]

And here is the second much improved data format proposal.
It uses much less attributes.