aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/syntax.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2008-07-15 * share/algebra: Update databases.dos-reis1-0/+28
* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Add SIG. * algebra/syntax.spad.pamphlet (Signature): New.
2008-07-03 Fix AW/428dos-reis1-5/+7
* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of SetCategory. (Domain): Likewise. * share/algebra: Update databases. * testsuite/interpreter/aw-428.input: New.
2008-02-14Update release informationdos-reis1-31/+27
2008-01-21 * algebra/syntax.spad.pamphlet (Syntax): Assert a member ofdos-reis1-2/+6
SetCategory. Implement equality. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move BASTYPE.o from layer 3 to here. Move SYNTAX.o from here to layer 1. (axiom_algebra_layer_1): Move CTROCALL.o to layer 2. * share/algebra: Update database.
2008-01-20 * algebra/syntax.spad.pamphlet (ElaboratedExpression): New.dos-reis1-0/+64
* algebra/any.spad.pamphlet: Rename ObjectProperty to Property. * algebra/exposed.lsp.pamphlet: Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_5): Include ELABEXPR.o * share/algebra: Update databases.
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.