[Texmacs-dev] TeXmacs 1.0.0.21 working under DRT 0.1.8

[Amir Michail]

Hi,

After some fiddling, TeXmacs 1.0.0.21 now works
under DRT 0.1.8.

See a screenshot here:

http://www.cse.unsw.edu.au/~amichail/texmacs.png
(The static query performed was "cursor" and you can
see that the actions shown have to do with cursor movement
in various contexts.  DRT also supports dynamic queries
where you actually perform an action.)

You can download a DRT demo file for TeXmacs here:

http://www.cse.unsw.edu.au/~amichail/texmacs.drt.bz2

You can download DRT 0.1.8 from:

http://www.cse.unsw.edu.au/~amichail/DRT-0.1.8.tar.gz

More info on the DRT design recovery tool can be found at:

http://www.cse.unsw.edu.au/~drt

including documentation at:

http://www.cse.unsw.edu.au/~amichail/drt.pdf

Feedback would be appreciated!

Amir