axiom-developer
[Top][All Lists]
Advanced

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

[Axiom-developer] Re: [Axiom-mail] Re: noweb


From: Gabriel Dos Reis
Subject: [Axiom-developer] Re: [Axiom-mail] Re: noweb
Date: 14 Aug 2006 17:29:51 +0200

Ralf Hemmecke <address@hidden> writes:

| > The 'document' script is intended to centralize all of the information
| > necessary to extract information from a file in various ways within the
| > axiom system. It is ultimately intended to support the drag-and-drop
| > feature I'm working on as well as a )compile command in Axiom. Many
| > (but not all) of the Makefiles have been changed to use it.
| 
| But that script must certainly be improved.

I would like to see the document script either go away or deeply improved.

-- Gaby




reply via email to

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