On Mon, May 12, 2014 at 09:33:39PM +0200, Georg Baum wrote: > > The procedure of updating a file format is documented in section 2.3 of > lib/doc/Development.lyx.
Doh! I was missing that. Sorry. > I verified that the new code is correct and did the update. Thank you. I had manually checked the tests but was unsure about what to do. -- Enrico