NEWS

--- a/NEWS	Sun Jun 23 21:15:42 2013 +0200
+++ b/NEWS	Sun Jun 23 21:23:36 2013 +0200
@@ -32,6 +32,10 @@
 * Updated and extended "isar-ref" and "implementation" manual,
 eliminated old "ref" manual.
 
+* Proper diagnostic command 'print_state'.  Old 'pr' (with its
+implicit change of some global references) is retained for now as
+control command, e.g. for ProofGeneral 3.7.x.
+
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***