src/doc/book is an old copy of books/bookvol0. src/doc/bookvol1 is an old copy of books/bookvol1. src/doc/bookvol4 is an old copy of books/bookvol4.
_______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
