diff options
author | dos-reis <gdr@axiomatics.org> | 2008-09-21 18:16:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-09-21 18:16:52 +0000 |
commit | c7ab434567c8fbcfe31e0eec91f4055a3262a6b0 (patch) | |
tree | 6527a727858d2e3afb1d896112716e139e19f23d /src/algebra/exposed.lsp.pamphlet | |
parent | f8abfeb8a2bf77186f65f06107ed86c5e7c41206 (diff) | |
download | open-axiom-c7ab434567c8fbcfe31e0eec91f4055a3262a6b0.tar.gz |
* algebra/syntax.spad.pamphlet (SpadAstExports): New.
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add
SPADXPT. Update dependency rules.
* share/algebra: Update algebra databases.
Diffstat (limited to 'src/algebra/exposed.lsp.pamphlet')
-rw-r--r-- | src/algebra/exposed.lsp.pamphlet | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet index fe76c79f..8f50526d 100644 --- a/src/algebra/exposed.lsp.pamphlet +++ b/src/algebra/exposed.lsp.pamphlet @@ -440,6 +440,7 @@ (|VectorFunctions2| . VECTOR2) (|ViewDefaultsPackage| . VIEWDEF) (|Void| . VOID) + (|WhereAst| . WHEREAST) (|WhileAst| . WHILEAST) (|WuWenTsunTriangularSet| . WUTSET) ) @@ -746,6 +747,7 @@ (|SetAggregate| . SETAGG) (|SetCategory| . SETCAT) (|SExpressionCategory| . SEXCAT) + (|SpadAstExports| . SPADXPT) (|SpadSyntaxCategory| . SASTCAT) (|SpecialFunctionCategory| . SPFCAT) (|SquareFreeNormalizedTriangularSetCategory| . SNTSCAT) |