But that's very similar to my request! Namely, integrate MathAction and
HyperDoc into AllProse. I believe that having only one very powerful yet simple
file format (i.e., LaTeX and noweb) would make it a lot simpler to write
documentation.
\begin{axiom}[version]
\end{axiom}
that allows you to specify the patch number that you want to use. It seems
however that it's not straightforward to implement this in the current
framework.
Currently, I have not yet integrated Axiom or Aldor in the process of
producing the .dvi file. It basically would mean "make dvi" depends on
"make" and perhaps "make check" AND some possibility to extract the
commands inside \begin{axiom}...\end{axiom} into a file ax.input, load
run "cat ax.input | AXIOMsys > ax.output" and integrate that output into
the .tex file. (Oh, one should not forget to load the library that was
created via "make".)
But that means you cannot produce a .dvi file without having Axiom/Aldor
installed. I somehow don't really like that dependency in the general case.
The next question is whether all axiom environments have to be joined.
But I guess so.
Martin, I am not just a tool programmer. ;-)
Ralf
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
