Pavel Sanda wrote: >> But you need to bumo the file format. > > eh? we increase fileformat any time we change > latex output?
Yes. In a strict sense, you would have to revert the stuff to ERT. But also if you do not do that, an empty file format change would be advisable. Jürgen
