| changeset 21960 | 0574f192b78a |
| parent 21896 | 9a7949815a84 |
| child 22125 | cc35c948f6c5 |
--- 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 ***