diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-08 23:01:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-08 23:01:08 +0000 |
| commit | 09f2e3d8df2cea0ac51017045b15adadd4dcdf53 (patch) | |
| tree | 7f96f697a16185b01ae0bb6de9d316f49d6f9b22 /src/ChangeLog | |
| parent | 646c4457e1cb8be5af3445c80b457518e0e4e47a (diff) | |
| download | open-axiom-09f2e3d8df2cea0ac51017045b15adadd4dcdf53.tar.gz | |
* interp/category.boot(categoryObject?): Rename from isCategory.
* interp/c-util.boot: Adjust use.
* interp/functor.boot: Likewise.
* interp/modemap.boot: Likewise.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 28d206b6..1ab79262 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,12 @@ 2011-02-08 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/category.boot(categoryObject?): Rename from isCategory. + * interp/c-util.boot: Adjust use. + * interp/functor.boot: Likewise. + * interp/modemap.boot: Likewise. + +2011-02-08 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/buildom.boot: Don't cache instantiation of builtin domains, as the comment at the top of the file says. |
