Tim --
BOOT's documentation has typo that prevents proper formatting.
-- Gaby
* looking for [EMAIL PROTECTED]/axiom--main--1--patch-47 to compare with
* comparing to [EMAIL PROTECTED]/axiom--main--1--patch-47
M src/boot/Makefile.pamphlet
* modified files
--- orig/src/boot/Makefile.pamphlet
+++ mod/src/boot/Makefile.pamphlet
@@ -794,7 +794,7 @@
are both translated to
name1 name2 DEF (pattern:=name2;where)
-\ennd{verbatim}
+\end{verbatim}
similarly for patterns that occur as components of a list of
variables. order
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
