# HG changeset patch
# User wenzelm
# Date 1341585097 -7200
# Node ID 937b53a339f065c0db6e9daefc9fe3c177c2a69d
# Parent  09c2a3d9aa22ebac4550cb7bfb17b5fa734921d6
tuned;

diff -r 09c2a3d9aa22 -r 937b53a339f0 NEWS
--- a/NEWS	Fri Jul 06 16:20:54 2012 +0200
+++ b/NEWS	Fri Jul 06 16:31:37 2012 +0200
@@ -22,22 +22,10 @@
 with some care where this is really required.
 
 
-*** Document preparation ***
-
-* Default for \<euro> is now based on eurosym package, instead of
-slightly exotic babel/greek.
-
-
-*** System ***
-
-* Discontinued support for Poly/ML 5.2.1, which was the last version
-without exception positions and advanced ML compiler/toplevel
-configuration.
-
-
 *** HOL ***
 
-* Simproc for rewriting set comprehensions into pointfree expressions
+* Simproc "finite_Collect" rewrites set comprehensions into pointfree
+expressions.
 
 * Quickcheck:
 
@@ -56,6 +44,19 @@
   - Rationalized type encodings ("type_enc" option).
 
 
+*** Document preparation ***
+
+* Default for \<euro> is now based on eurosym package, instead of
+slightly exotic babel/greek.
+
+
+*** System ***
+
+* Discontinued support for Poly/ML 5.2.1, which was the last version
+without exception positions and advanced ML compiler/toplevel
+configuration.
+
+
 
 New in Isabelle2012 (May 2012)
 ------------------------------