Hi, You may find this approach interesting:
http://www.cs.umass.edu/~emery/diehard/ Perhaps it could be used in TeXmacs. Amir _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
