diff options
author | dos-reis <gdr@axiomatics.org> | 2009-01-10 00:08:55 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-01-10 00:08:55 +0000 |
commit | 447540cef1c15768e7aa15679696ed4dd7b2d151 (patch) | |
tree | 87b375611247b357f133cd934d7a4a510acc10d2 /src/input | |
parent | 5810cb6f263679851a135691a7ee483fda959472 (diff) | |
download | open-axiom-447540cef1c15768e7aa15679696ed4dd7b2d151.tar.gz |
* interp/compiler.boot (compPredicate): Rename from compBoolean.
Lose second argument. Document.
Diffstat (limited to 'src/input')
0 files changed, 0 insertions, 0 deletions