On Sun, Jul 29, 2001 at 10:23:53AM -0300, Garst R. Reese wrote:
> 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 :)
Funny, but I"m going to have to agree with the others. If someone does
happen to see an open 666 inset, this'll give them a clue as to what it
does.
-Amir
