|
| From: | Henri Lesourd |
| Subject: | Re: [Texmacs-dev] Literate Programming in TeXmacs? |
| Date: | Sat, 19 May 2007 19:43:38 +0200 |
| User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030821 |
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
| [Prev in Thread] | Current Thread | [Next in Thread] |