diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-23 15:19:26 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-23 15:19:26 +0000 |
| commit | 007980660ba03555922525f9f7ee5b0f59ef41b1 (patch) | |
| tree | f89bb6a59c149620f9fca5fe091b969e42a23872 /config | |
| parent | 461221b5ee886e30778b65765aaaedf4e0b76c36 (diff) | |
| download | open-axiom-007980660ba03555922525f9f7ee5b0f59ef41b1.tar.gz | |
* interp/c-util.boot (extendsCategoryForm): Use current category
body instead of previous previous version of it.
* algebra/Makefile.pamphlet: Remove ES from bootstrap layer.
Build it (and dependencies) at layer 1.
* algebra/strap/ES.lsp: Remove.
* algebra/strap/ES-.lsp: Likewise.
* algebra/boolean.spad.pamphlet (Boolean): Don't use outputForm.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions