Re: Rename 666 to TEX

[Herbert Voss]

"Asger K. Alstrup Nielsen" wrote:
> 
> The 666 name is fun, but not very intuitive/informative. What about
> changing it to TEX? Failing that, we should at least use ERT, which
> is not very intuitive either, but at least more established?

TeX is better, because it's no more like the eval red text.

HErbert


-- 
http://www.educat.hu-berlin.de/~voss/lyx/