Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2008-01-20 | * algebra/syntax.spad.pamphlet (ElaboratedExpression): New. | dos-reis | 1 | -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-reis | 1 | -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. |