diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-26 18:56:05 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-26 18:56:05 +0000 |
commit | cfc45d7bc4bdeb914bacdf961175b7fa0092598d (patch) | |
tree | 18eb2f1d9298f267e8a75372dd04f77001d76a5d /README | |
parent | 0f687ec65a2cb6a25a805b6c8f04fe3d90aad05b (diff) | |
download | open-axiom-cfc45d7bc4bdeb914bacdf961175b7fa0092598d.tar.gz |
* interp/define.boot (compSignature): New. Split from
compCategoryItem.
(compCategoryItem): Use it. Tidy.
(quotifyCategoryArgument): Remove.
(mkEvalableCategoryForm): Tidy.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions