diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-09 21:09:56 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-09 21:09:56 +0000 |
| commit | ccd024277fb8eab4a8b22ed160f4da1609dd94e9 (patch) | |
| tree | a2433cda3749f32855a7252949e4c6056e1893b4 /src/ChangeLog | |
| parent | bcff036777b4f79aa17513849fc0e0a2ee5f9099 (diff) | |
| download | open-axiom-ccd024277fb8eab4a8b22ed160f4da1609dd94e9.tar.gz | |
* algebra/catdef.spad.pamphlet (EuclideanDomain)
[expressIdealMember]: Now returns Maybe List %.
* algebra/Makefile.in: Tidy.
(axiom_algebra_bootstrap_last_layer): Remove.
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. |