1 files changed, 2 insertions, 0 deletions
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