texmacs-dev
[Top][All Lists]
Advanced

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

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


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




reply via email to

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