aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/syntax.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2008-01-20 * algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad.dos-reis1-0/+285
Add a new domain for constructor instantiation form. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include CTORCALL.o (SYNTAX.NRLIB/code.$(FASLEXT)): Remove rule. Now implicit. * share/algebra: Update databases.