[Aldor-l] Ann: ALLPROSE / Suggestions
Martin Rubey
martin.rubey at univie.ac.at
Tue Nov 15 17:02:48 EST 2005
Dear Ralf,
first of all, thank you for your splendid project. I skimmed through the
documentation, here come some suggestions:
* it would be very useful - if not necessary - if you provided a one page
summary on how to use ALLPROSE for the average A{ldor,xiom} programmer,
separate from the complete 225 pages documentation.
* maybe you can connect yourself with Eitan Gurari to enable automatic
translation to html/mathml via tex4ht?
* I really want that your documentation format becomes a replacement for Axioms
Hypertex format. However, there is one bit missing: it is necessary that we
have an environment that contains Axiom/Aldor commands which are then sent to
the Axiom/Aldor interpreter and the result gets then set in verbatim. Would
this be a lot of work?
Martin
More information about the Aldor-l
mailing list