Age | Commit message (Collapse) | Author | Files | Lines |
|
(HeadAst): Likewise.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Add SIG.
* algebra/syntax.spad.pamphlet (Signature): New.
|
|
* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of
SetCategory.
(Domain): Likewise.
* share/algebra: Update databases.
* testsuite/interpreter/aw-428.input: New.
|
|
|
|
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.
|
|
* 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.
|
|
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.
|