diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-10-01 20:37:15 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-10-01 20:37:15 +0000 |
| commit | 640c78ea50adf4d902e66c7788ba384111b338d4 (patch) | |
| tree | 2ed286c007918c03ff2d675f10933d8af38c2b81 /src/ChangeLog | |
| parent | ea832606b8ad21eb020bc71dbc98427a8068ca3e (diff) | |
| download | open-axiom-640c78ea50adf4d902e66c7788ba384111b338d4.tar.gz | |
* algebra/mkfunc.spad.pamphlet (InputForm): Remove local mkProperOp.
(compile$InputForm): Tidy.
* algebra/boolean.spad.pamphlet (setelt$IndexedBits): A bit is
not a Boolean.
* interp/i-intern.boot (mkAtreeForToken): New.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 33582967..851cbdf4 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,13 @@ 2008-10-01 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/mkfunc.spad.pamphlet (InputForm): Remove local mkProperOp. + (compile$InputForm): Tidy. + * algebra/boolean.spad.pamphlet (setelt$IndexedBits): A bit is + not a Boolean. + * interp/i-intern.boot (mkAtreeForToken): New. + +2008-10-01 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/c-util.boot ($optProclaim): New. ($optReplaceSimpleFunctions): Likewise. (setCompilerOptimizations): Likewise. Set them. |