diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-03-30 17:06:50 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-03-30 17:06:50 +0000 |
| commit | d4253914cd374bbb099b6055e8db595073c1b349 (patch) | |
| tree | de05e00e8d2c6ed0f7fd707ec5cb0daa3dbc2c1f /src/interp/simpbool.boot | |
| parent | af51c280292fc412e56c22ec2b416184beecee3d (diff) | |
| download | open-axiom-d4253914cd374bbb099b6055e8db595073c1b349.tar.gz | |
* interp/buildom.boot: Cache constructor instantiations.
* interp/clam.boot (haddProp): Update comment.
Diffstat (limited to 'src/interp/simpbool.boot')
0 files changed, 0 insertions, 0 deletions