diff options
author | dos-reis <gdr@axiomatics.org> | 2008-07-17 08:38:12 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-07-17 08:38:12 +0000 |
commit | cd673c287c1499a8ca28d3519dcf237492ebea1c (patch) | |
tree | 4e71eb7ce4a71f0cc11e1fb9ced2da87e7525391 /src/ChangeLog | |
parent | 5231d91460271f0e9e0e3231bae94ba0931067ba (diff) | |
download | open-axiom-cd673c287c1499a8ca28d3519dcf237492ebea1c.tar.gz |
* input/pat.input.pamphlet (square): Define square an operatpr.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 82f63b6b..80a6cde8 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,7 @@ 2008-07-15 Gabriel Dos Reis <gdr@cs.tamu.edu> + * input/pat.input.pamphlet (square): Define square an operatpr. + Fix SF/2015650 * interp/compiler.boot (coerceExtraHard): Forms with type Category are categories. |