On Sun, Apr 01, 2001 at 11:21:43AM -0400, [EMAIL PROTECTED] wrote:
> After some very interesting comments from this list, this is the best
> solution I have found:
> 
> Textex
> Xtexshell (a frontend to combine text-editors, latex and xdiv)
> Nedit (good text editor, activating latex language the differents
> commands, text-types, .... are showed in different colors or shapes;
> very good for latex!)

Thanks for your search results. Where can we find "Textex" and
"Xtexshell"?

> Francisco Alcaraz

Anibal

Reply via email to