Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added hint for algebra
authorhaftmann
Fri, 26 Oct 2007 10:32:10 +0200
changeset 25197 7a169cfda866
parent 25196 0db9a16c0d3c
child 25198 1e904070e9cb
added hint for algebra
ANNOUNCE file | annotate | diff | comparison | revisions 
--- 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:
isabelle