diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-23 05:33:12 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-23 05:33:12 +0000 |
| commit | 956bc9cce88ce71cdb46e3ecb9d9e1c1753dc601 (patch) | |
| tree | 291a8d233d93f76f624c92575cc190203647ba61 /src/scripts | |
| parent | dbeb8d5ae59cfa7da8997a09ad27e4efc04d0eaf (diff) | |
| download | open-axiom-956bc9cce88ce71cdb46e3ecb9d9e1c1753dc601.tar.gz | |
* interp/bootlex.lisp (spad): Don't bind $noSubsumption.
* interp/i-spec1.boot (evalCOLLECT): Fix thinko.
Diffstat (limited to 'src/scripts')
0 files changed, 0 insertions, 0 deletions