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/ChangeLog | |
| 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/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 305a1291..0156f61d 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2009-06-23 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/bootlex.lisp (spad): Don't bind $noSubsumption. + * interp/i-spec1.boot (evalCOLLECT): Fix thinko. + 2009-06-20 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/category.boot (SigOpsubsume): Remove as unused. |