diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-30 01:16:23 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-30 01:16:23 +0000 |
| commit | cb65c7fd822eb7e5b8a32bda101b6f85c6cf3cdd (patch) | |
| tree | 62b56048161f51096f8a6873e598c24dc3ce0374 /src/input/pfr1.input.pamphlet | |
| parent | 23cd05760f795f58d2eafc56b93d0f7e22e89c9a (diff) | |
| download | open-axiom-cb65c7fd822eb7e5b8a32bda101b6f85c6cf3cdd.tar.gz | |
* interp/define.boot (mustInstantiate): Fix thinko introduced by
earlier tweaks.
(mkExplicitCategoryFunction): Likewise.
Diffstat (limited to 'src/input/pfr1.input.pamphlet')
0 files changed, 0 insertions, 0 deletions