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