diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-15 18:47:34 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-15 18:47:34 +0000 |
| commit | 974674143225554b96178718d83134946c58beb3 (patch) | |
| tree | 5dc0f315e4a8bf66c7de20d4448b17a740508823 /src/input/eq.input.pamphlet | |
| parent | 0431131ebcdd17268513169c08fd1803a16d07f6 (diff) | |
| download | open-axiom-974674143225554b96178718d83134946c58beb3.tar.gz | |
* interp/define.boot (dbClearForCompilation!): New.
(compDefineFunctor1): Use it.
Diffstat (limited to 'src/input/eq.input.pamphlet')
0 files changed, 0 insertions, 0 deletions