diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-08 09:38:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-08 09:38:08 +0000 |
| commit | f1c3cadf07d4409afe5e4f895a00b2389653ed69 (patch) | |
| tree | 108468e86e2c8459585ee4d92331ba6276541d47 /src/input/c05pbf.input.pamphlet | |
| parent | 96970bdaca77f0abe493ff791d9c42b8f79bb80d (diff) | |
| download | open-axiom-f1c3cadf07d4409afe5e4f895a00b2389653ed69.tar.gz | |
* interp/c-util.boot (categoryHierarchy): New.
* interp/category.boot (mkCategory): Use it.
* interp/define.boot (NRTgetLookupFunction): Tidy.
(catExtendsCat?): Lose last argument. Adjust callers.
Diffstat (limited to 'src/input/c05pbf.input.pamphlet')
0 files changed, 0 insertions, 0 deletions