diff options
author | dos-reis <gdr@axiomatics.org> | 2007-12-12 17:35:47 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-12-12 17:35:47 +0000 |
commit | 4b9f947cd94180f651cf9c0110d034b3e8c45756 (patch) | |
tree | 11a0a67cc1fcb0d8f7a4bfd61608d6de79474a91 /src/algebra/ChangeLog | |
parent | a07ce88c59db4ceea768818d328a559c7b1c0b47 (diff) | |
download | open-axiom-4b9f947cd94180f651cf9c0110d034b3e8c45756.tar.gz |
* domain.spad (showSummary$Domain): New.
Diffstat (limited to 'src/algebra/ChangeLog')
-rw-r--r-- | src/algebra/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/algebra/ChangeLog b/src/algebra/ChangeLog index e31ec7b0..524a01ba 100644 --- a/src/algebra/ChangeLog +++ b/src/algebra/ChangeLog @@ -1,5 +1,9 @@ 2007-12-12 Gabriel Dos Reis <gdr@cs.tamu.edu> + * domain.spad (showSummary$Domain): New. + +2007-12-12 Gabriel Dos Reis <gdr@cs.tamu.edu> + * syntax.spad (case$Syntax): Add four overloads with flag parameters. Remove previous declaration. (conver$Syntax): Use cases to filter out erroneous input. |