[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Texmacs-dev] Literate Programming in TeXmacs?

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 :

This is not exactly literate programming, but...

Best, Henri

reply via email to

[Prev in Thread] Current Thread [Next in Thread]