changeset 25197 | 7a169cfda866 |
parent 25148 | 9c9646c1080d |
child 25213 | 48a1e80f5cdb |
--- a/ANNOUNCE Thu Oct 25 19:27:54 2007 +0200 +++ b/ANNOUNCE Fri Oct 26 10:32:10 2007 +0200 @@ -44,6 +44,9 @@ * Parallel loading of theories based on native multicore support in Poly/ML 5.1. +* Improved algebraic capabilities by means of semiring normalization, +Groebner bases and Ferrante/Rackoff algorithm. + You may get Isabelle2007 from the following mirror sites: