1. 2012-06-09 Re: [patch] wrong flavor in view source lyx-devel Jürgen_Spitzmüller 2. 2012-06-09 Re: [patch] wrong flavor in view source lyx-devel Richard Heck 3. 2012-06-08 [patch] wrong flavor in view source lyx-devel Jürgen_Spitzmüller