diff options
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 cb7cff4e..a601f084 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,12 @@ 2011-03-09 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/catdef.spad.pamphlet (EuclideanDomain) + [expressIdealMember]: Now returns Maybe List %. + * algebra/Makefile.in: Tidy. + (axiom_algebra_bootstrap_last_layer): Remove. + +2011-03-09 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/g-opt.boot: %pair, %list, %vector, %bitvector are now considered side-effect free functions. * algebra/boolean.spad.pamphlet: Reflect change. |