aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-01-20 01:02:10 +0000
committerdos-reis <gdr@axiomatics.org>2008-01-20 01:02:10 +0000
commit8559362639b3460afb49ed8c32dba0a75b9bab71 (patch)
tree29e821f843095ea33dfa61c2568d18077ef3fb7b /src/testsuite
parent2546c17a213f87b5a3cd66b58faf84ac6b6186b0 (diff)
downloadopen-axiom-8559362639b3460afb49ed8c32dba0a75b9bab71.tar.gz
* algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad.
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.
Diffstat (limited to 'src/testsuite')
0 files changed, 0 insertions, 0 deletions