Am Dienstag 19 Februar 2013, 09:28:58 schrieb Kornel Benko: > commit 8e4f656aa79cb1e39a4b8b3fc18b0d4571b8eee4 > Author: Kornel Benko <kor...@lyx.org> > Date: Tue Feb 19 09:26:05 2013 +0100 > > Add new output format dvi4 ( == DVI(pLaTeX) > Add converter for this format (platex without extra parameters)
As said, I don't think this is correct. Instead, the current platex support should be fixed. Jürgen