diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-09 03:45:16 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-09 03:45:16 +0000 |
commit | 5663732162b1010ab0b506c87f576f2b78c27994 (patch) | |
tree | ddcf9a0c351b766b434dc20789821b10b79c45a7 /src/input/d02kef.input.pamphlet | |
parent | f4d8fd485a9486cb3bf1631dded5c72de055dfaf (diff) | |
download | open-axiom-5663732162b1010ab0b506c87f576f2b78c27994.tar.gz |
* interp/sys-constants.boot ($PrimitiveDomainNames): Remove.
* interp/category.boot (mkCategory): Drop test for primitive
domains.
Diffstat (limited to 'src/input/d02kef.input.pamphlet')
0 files changed, 0 insertions, 0 deletions