diff -r 6ca5407863ed -r da8817d01e7c NEWS
--- a/NEWS	Sat Apr 16 15:25:25 2011 +0200
+++ b/NEWS	Sat Apr 16 15:47:52 2011 +0200
@@ -84,6 +84,9 @@
 
 *** ML ***
 
+* Structure Proof_Context follows standard naming scheme.  Old
+ProofContext is still available for some time as legacy alias.
+
 * Structure Timing provides various operations for timing; supersedes
 former start_timing/end_timing etc.