1.1 --- a/NEWS Fri Jul 06 16:20:54 2012 +0200
1.2 +++ b/NEWS Fri Jul 06 16:31:37 2012 +0200
1.3 @@ -22,22 +22,10 @@
1.4 with some care where this is really required.
1.5
1.6
1.7 -*** Document preparation ***
1.8 -
1.9 -* Default for \<euro> is now based on eurosym package, instead of
1.10 -slightly exotic babel/greek.
1.11 -
1.12 -
1.13 -*** System ***
1.14 -
1.15 -* Discontinued support for Poly/ML 5.2.1, which was the last version
1.16 -without exception positions and advanced ML compiler/toplevel
1.17 -configuration.
1.18 -
1.19 -
1.20 *** HOL ***
1.21
1.22 -* Simproc for rewriting set comprehensions into pointfree expressions
1.23 +* Simproc "finite_Collect" rewrites set comprehensions into pointfree
1.24 +expressions.
1.25
1.26 * Quickcheck:
1.27
1.28 @@ -56,6 +44,19 @@
1.29 - Rationalized type encodings ("type_enc" option).
1.30
1.31
1.32 +*** Document preparation ***
1.33 +
1.34 +* Default for \<euro> is now based on eurosym package, instead of
1.35 +slightly exotic babel/greek.
1.36 +
1.37 +
1.38 +*** System ***
1.39 +
1.40 +* Discontinued support for Poly/ML 5.2.1, which was the last version
1.41 +without exception positions and advanced ML compiler/toplevel
1.42 +configuration.
1.43 +
1.44 +
1.45
1.46 New in Isabelle2012 (May 2012)
1.47 ------------------------------