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 /src/ChangeLog | |
| 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 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 5c76663b..998127fd 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,13 @@ 2008-11-26 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/define.boot (compSignature): New. Split from + compCategoryItem. + (compCategoryItem): Use it. Tidy. + (quotifyCategoryArgument): Remove. + (mkEvalableCategoryForm): Tidy. + +2008-11-26 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/parse.boot (parseImplies): Remove. 2008-11-24 Gabriel Dos Reis <gdr@cs.tamu.edu> |