process to filter out the ++E/++R testing syntax lines automatically.
The only thing where I am not so sure about is whether ++E/++R is the best syntax. As you may have seen in the ++ or +++ documentation, some people dont put a space after the last + so you parser might get confused.
Anyway. You remember that in ALLPROSE it don't write the ++ stuff at all. There is a LaTeX environment \begin{+++} ... \end{+++} with a certain additional structure. In particular it contains a section \begin{usage}... \end{usage} which I currently only use to list commands that show how a function is to be applied, but, of course another environment could include executable code.
The +++ stuff is then generated from a .nw (.pamphlet) file, so that the compiler can access it.
All I want to say is. The +++ documentation should not be considered as a primary documentation format. It is too unstructured.
Ralf _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
