diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-06-15 09:31:31 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-06-15 09:31:31 +0000 |
| commit | b8f356b0f9492f8a32bc1951b3b598e3ec1e9d4e (patch) | |
| tree | 2275d4ea5ed7adb653835fd075775bd28e69b3aa /src/ChangeLog | |
| parent | 11b080192468670b9b1a8f5cf9d5ff890195a3f2 (diff) | |
| download | open-axiom-b8f356b0f9492f8a32bc1951b3b598e3ec1e9d4e.tar.gz | |
* interp/define.boot (makeCategoryPredicates): Tidy. Adjust caller.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 4ff70a94..8ebe7f45 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2013-06-15 Gabriel Dos Reis <gdr@integrable-solutions.net> + + * interp/define.boot (makeCategoryPredicates): Tidy. Adjust caller. + 2013-06-14 Gabriel Dos Reis <gdr@integrable-solutions.net> * interp/c-util.boot (extendsCategoryForm): Take a DB parameter. |