NEWS

--- a/NEWS	Wed Oct 12 09:16:30 2011 +0200
+++ b/NEWS	Wed Oct 12 16:21:07 2011 +0200
@@ -44,6 +44,12 @@
   zero_le_zpower_abs ~> zero_le_power_abs
 
 
+*** ML ***
+
+* Structure Proof_Context follows standard naming scheme.  Old
+ProofContext has been discontinued.  INCOMPATIBILITY.
+
+
 
 New in Isabelle2011-1 (October 2011)
 ------------------------------------