# HG changeset patch
# User haftmann
# Date 1193387530 -7200
# Node ID 7a169cfda8664e7d35b74140b2557b26edf6028b
# Parent  0db9a16c0d3c5b8a2b57d88d25a991be4c37a683
added hint for algebra

diff -r 0db9a16c0d3c -r 7a169cfda866 ANNOUNCE
--- 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: