Ralf Hemmecke wrote:
What is the current status of support of literate programming in TeXmacs?
No news. This being said, a prototype Mizar plugin has been recently developed on top of TeXmacs. Have a look at : http://www.ags.uni-sb.de/~cebrown/mizar-texmacs/mizar-texmacs-tutorial.html This is not exactly literate programming, but... Best, Henri _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
