diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-13 17:29:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-13 17:29:24 +0000 |
| commit | 132209605a569012699d48f985c09c4f5826a0d2 (patch) | |
| tree | a54c76adbb5a724af17dcfe07942d0a387f73a62 /src/hyper/pages/WUTSET.pht | |
| parent | 60ac954f5d873a609675ee63188f09d01b91a6de (diff) | |
| download | open-axiom-132209605a569012699d48f985c09c4f5826a0d2.tar.gz | |
* interp/sys-constants.boot ($defaultOptimizationLevel): New.
* interp/sys-driver.boot (initializeGlobalState): Use it for
default initialization level.
Diffstat (limited to 'src/hyper/pages/WUTSET.pht')
0 files changed, 0 insertions, 0 deletions