diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-25 12:35:16 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-25 12:35:16 +0000 |
commit | c25dfacda02a40b2055328ba5898086c043e5427 (patch) | |
tree | e2b077fc07d82ffc62158d931d3ac2aa0daeae93 /src/gui/main.cc | |
parent | 75a4b333cb95b26efc29b07d6a078b12f2d0b921 (diff) | |
download | open-axiom-c25dfacda02a40b2055328ba5898086c043e5427.tar.gz |
* interp/define.boot ($mutableDomain): Remove. Adjust users.
($mutableDomains): Likewise.
* interp/database.boot (dbMutable?): Remove.
* interp/clam.boot (addToclam): Remove as unused.
* algebra/modmon.spad.pamphlet: Do not make MoMonic mutable.
* algebra/defaults.spad.pamphlet: Do not make RepeatedSquaring and
RepeatedDoubling, FiniteLinearAggregateSort mutable.
Diffstat (limited to 'src/gui/main.cc')
0 files changed, 0 insertions, 0 deletions