diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-01-19 22:05:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-01-19 22:05:42 +0000 |
| commit | 2546c17a213f87b5a3cd66b58faf84ac6b6186b0 (patch) | |
| tree | 28545f35afaf5f1404134dc75415af54c907f2a9 /src/hyper/bitmaps/exists.bitmap | |
| parent | 83b50e1c4c79fe3ac9fbc52150192942266338b6 (diff) | |
| download | open-axiom-2546c17a213f87b5a3cd66b58faf84ac6b6186b0.tar.gz | |
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Now include
SYNTAX.o
* algebra/syntax.spad (buildSyntax$Syntax): Use CONS$Lisp to
permit early bootstrap.
Diffstat (limited to 'src/hyper/bitmaps/exists.bitmap')
0 files changed, 0 insertions, 0 deletions