diff options
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 79cdf3dd..75ce7345 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2008-05-28 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/showimp.boot (showPredicates): Fix typo. + * testsuite/interpreter/show.input: New. + +2008-05-28 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/catdef.spad.pamphlet (OrderedMonoid): Nown OrderedSemiGroup and a Monoid. * share/algebra: Updata databases. |