# HG changeset patch
# User wenzelm
# Date 1167478731 -3600
# Node ID 0574f192b78add4b34b3b37695f5596bed5666fd
# Parent  b50182aff75fb4c83df77351e417871deb65e34e
* Proof General: proper undo of final 'end'; discontinued Isabelle/classic;

diff -r b50182aff75f -r 0574f192b78a NEWS
--- 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 ***