diff options
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. |