Re: Amaya 1.4 is a useful tool

From: <Irene.Vatton@inrialpes.fr> Date: Mon, 18 Jan 1999 15:24:41 +0100 Message-Id: <199901181424.PAA12055@tahiti.inrialpes.fr> To: "Christian Czech" <cc@derago.com> cc: www-amaya@w3.org · This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:30:27 UTC

In-reply-to: Your message of Fri, 15 Jan 1999 09:12:56 +0100."
             <000d01be405e$db649c60$6564a8c0@cc1.derago.com> 
> Amaya 1.4 is a useful tool.
> 
> I like the structure editor a lot and there are many other features like the
> math editor which are very innovative.
> 
> For my normal work I mainly miss a HTML-Source editor. Just a button or menu
> which opens a text-editor like notepad (Windows) or emacs would be all I
> need.

We're thinking about it, but there is no precise plan to do it yet.

Regards
  Irene.