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/boot/Makefile.in | |
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/boot/Makefile.in')
0 files changed, 0 insertions, 0 deletions