diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-09-08 17:38:10 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-09-08 17:38:10 +0000 |
| commit | dc558ba2d56b057f3a81b69ae2238d1cb1a6b7b8 (patch) | |
| tree | 9522e5c3518e07bb80d38fca777522f40a448de6 /INSTALL | |
| parent | 4f6ead3097764627b4ec2963df1f63af12b6e9d8 (diff) | |
| download | open-axiom-dc558ba2d56b057f3a81b69ae2238d1cb1a6b7b8.tar.gz | |
* interp/c-util.boot (builtinCategoryName?): Move to g-util.boot.
(builtinFunctorName?): Likewise.
(builtinConstructor?): Likewise.
(superType): Exit early if builtin functor or non-domain form.
* algebra/Makefile.in: Flesh out bootstrap dependencies.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions