[Axiom-developer] visual literate programming

[Bill Page]

Tim and Joris,

I have now started to become quite familiar with TeXmacs
and am rather pleased with it's capabilities. I think it
is a good choice for a new graphical front-end for axiom.

By now you (Tim) have authored a number of significant
noweb "pamphlet" files for the new open source version
of axiom and have even made some simple changes to noweb
to accommodate the axiom build process.

It has always seemed quite clear to me that the overall
appearance of a complex system (such as axiom) is strongly
influenced by the environment in which it is developed.
Thus systems developed in a "command line" oriented
environment (the classical Unix environment) tend to be
command line oriented etc. So therefore I am quite
interested in finding ways to continue the development of
axiom from with in the environment in which it will
eventually run. To that end, let me recall your exchange
with Jorix van der Hoeven of last June.

---------

Date: Sat, 1 Jun 2002 11:51:06 +0200 (MET DST)
From: Joris van der Hoeven <address@hidden>
To: root <address@hidden>
Cc: address@hidden,
    "Nicolas M. Thiery" <address@hidden>,
    Dylan Thurston <address@hidden>,
    Philippe Toffin <address@hidden>,
    Barry Trager <address@hidden>,
    Carlo Traverso <address@hidden>,
    Theodore Thomas Tsikas <address@hidden>,
    "Gioia M. Vago" <address@hidden>,
    Joris van der Hoeven <address@hidden>,
    Leonid Vaserstein <address@hidden>,
    Nikolay Vassiliev <address@hidden>
Subject: Re: [axiom] Axiom website updated


On Fri, 31 May 2002, root wrote:

> Axiom's website has been updated
> http://home.earthlink.net/~jgg964/axiom.html
>
>   * Discussion of the Literate Programming

I would just like to remind you that we want to make TeXmacs
an editor for literate programming in the mid-range future.
At the moment David Allouche is working on a very general
dynamic rewriting scheme, which will englobe TMSL (TeXmacs
style language), XSL and literate programming rewriters.
I expect this work to be finished in six months from now.
Among the TeXmacs developers, at least three persons are
very interested in literate programming. At the moment
these three persons are volunteers, but if someone has
some money available, then I think that their projects
could be boosted in a serious way.

Joris van der Hoeven <address@hidden>
http://www.texmacs.org: GNU TeXmacs scientific text editor
http://www.math.u-psud.fr/~vdhoeven: personal homepage

---------

I would like to find out what is the current status of the
application of TeXmacs to literate programming and what are
your current thoughts about this subject with respect to
the axiom project.

If it hasn't been done already, I would be quite interested
in attempting to develop an appropriate filter for TeXmacs
which would be able to import a noweb pamphlet file (of the
kind that you are now writing) into a form that could be
directly edited and printed in "noweave/latex" format.
Then one would also want to be able to export both to the
original noweb pamphlet format and also to "notangle" code.

Has there been any new developments in this area? Are there
any other places on the web to look for this kind of work?

Regards,
Bill Page.