* Proof General: proper undo of final 'end'; discontinued Isabelle/classic;

--- a/NEWS	Sat Dec 30 12:33:29 2006 +0100
+++ b/NEWS	Sat Dec 30 12:38:51 2006 +0100
@@ -42,6 +42,9 @@
 generalizes the existing ``theorem (in ...)'' towards more versatility
 and scalability.
 
+* Proof General interface: proper undo of final 'end' command;
+discontinued Isabelle/classic mode (ML proof scripts).
+
 
 *** Document preparation ***