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
_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
