On Sun, Nov 07, 2010 at 10:43:40PM +0100, Pavel Sanda wrote: > Jean-Marc Lasgouttes wrote: > > > > Err, did we ever discuss this? > > > > I am personally for keeping ERT. > > > > * it has been named like that for ages and is part of LyX identity > > i have very similar feelings here.
+1 -- Enrico