From bd166bd6625afcf3514825239725bc4a614475f0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 5 Jul 2000 15:59:58 +0000
Subject: Updated

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

diff --git a/CHANGES b/CHANGES
index cd942c6a..cb525b06 100644
--- a/CHANGES
+++ b/CHANGES
@@ -107,6 +107,8 @@
 
 *** Fix for stack overflow in regexp which occurred with large proof states
 
+*** The back() command is now undoable as it should be
+
 ** Isar Changes
 
 *** Fix for stack overflow in regexp which occurred with large proof states
-- 
cgit v1.2.3