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 /src/input/fname.input.pamphlet | |
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 'src/input/fname.input.pamphlet')
0 files changed, 0 insertions, 0 deletions