tuned;
authorwenzelm
Fri Jul 06 16:31:37 2012 +0200 (2012-07-06)
changeset 48206937b53a339f0
parent 48205 09c2a3d9aa22
child 48207 40fab092d2a2
tuned;
NEWS
     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  ------------------------------