>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> Dekel Tsur <[EMAIL PROTECTED]> writes: | On Thu, Apr 27, 2000
Lars> at 09:46:39AM +0200, Lars Gullik Bjønnes wrote: | > We could
Lars> have a script that converts that part of format 2.16 back to | >
Lars> the one used in 2.15. | > | > sed -e 's/\\SpecialChar
Lars> \\protected_separator/\\protected_separator/' | > \ <
Lars> newformat.lyx > oldformat.lyx | > | > should hopefully work. | >
Lars> | | Why aren't we using "\SpecialChar ~" ?
Lars> Why the urgency?
Lars> It does not buy anything other than 19 bytes saved.
It buys us a somewhat more coherent file format (roughly latex-based).
JMarc
