[Top][All Lists]
[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
- [Axiom-developer] RE: [Axiom-mail] Re: noweb, Page, Bill, 2006/08/08
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/11
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb,
Gabriel Dos Reis <=
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, root, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, root, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, root, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/14
- Re: [Axiom-developer] Re: [Axiom-mail] Re: noweb, David MENTRE, 2006/08/14
- Re: [Axiom-developer] Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/14
- [Axiom-developer] building Silver, Page, Bill, 2006/08/15