NEWS
changeset 48205 09c2a3d9aa22
parent 48171 28a6d67c93f0
child 48206 937b53a339f0
     1.1 --- a/NEWS	Thu Jul 05 22:17:57 2012 +0200
     1.2 +++ b/NEWS	Fri Jul 06 16:20:54 2012 +0200
     1.3 @@ -13,6 +13,15 @@
     1.4  in old "ref" manual.
     1.5  
     1.6  
     1.7 +*** Pure ***
     1.8 +
     1.9 +* Discontinued obsolete attribute "COMP".  Potential INCOMPATIBILITY,
    1.10 +use regular rule composition via "OF" / "THEN", or explicit proof
    1.11 +structure instead.  Note that Isabelle/ML provides a variety of
    1.12 +operators like COMP, INCR_COMP, COMP_INCR, which need to be applied
    1.13 +with some care where this is really required.
    1.14 +
    1.15 +
    1.16  *** Document preparation ***
    1.17  
    1.18  * Default for \<euro> is now based on eurosym package, instead of