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