Re: Rename 666 to TEX

[Garst R. Reese]

Herbert Voss wrote:
> 
> "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.
It goes away anyway. I like the 666, maybe the same people trying to ban
Harry Potter will give lyx some publicity also :)
Garst