NEWS
changeset 21960 0574f192b78a
parent 21896 9a7949815a84
child 22125 cc35c948f6c5
     1.1 --- a/NEWS	Sat Dec 30 12:33:29 2006 +0100
     1.2 +++ b/NEWS	Sat Dec 30 12:38:51 2006 +0100
     1.3 @@ -42,6 +42,9 @@
     1.4  generalizes the existing ``theorem (in ...)'' towards more versatility
     1.5  and scalability.
     1.6  
     1.7 +* Proof General interface: proper undo of final 'end' command;
     1.8 +discontinued Isabelle/classic mode (ML proof scripts).
     1.9 +
    1.10  
    1.11  *** Document preparation ***
    1.12