|
From: | Ralf Hemmecke |
Subject: | Re: [Texmacs-dev] Literate Programming in TeXmacs? |
Date: | Sat, 19 May 2007 20:13:52 +0200 |
User-agent: | Thunderbird 2.0.0.0 (X11/20070326) |
On 05/19/2007 07:43 PM, Henri Lesourd wrote:
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
Exactly, that is not what I mean by literate programming. It seems that nobody is really interested in LP.
I thought it would be totally easy (for a Scheme programmer---which I am not) to introduce some special environments (for the code) and then have some commands that write out the code parts in a user defined order. Of course the code, comes as a tree itself.
Would it be possible if somebody on this list hacks together a few lines. I could probably extend it (if I am guided enough), but I feel totally unable to start.
Best regards, Ralf
[Prev in Thread] | Current Thread | [Next in Thread] |