From b7e1c74fb9a0410c992a7469c292e06b82a89bdf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Sep 2009 23:14:32 +0000
Subject: *** empty log message ***

---
 CHANGES | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGES b/CHANGES
index bf085a3b..0a04c703 100644
--- a/CHANGES
+++ b/CHANGES
@@ -59,6 +59,8 @@
 
 ** Isabelle/Isar changes
 
+*** Support undo back into completed proofs (linear_undo).
+
 *** Electric terminator works without inserting terminator
 
 *** Line numbers reported during script management
-- 
cgit v1.2.3