From 628329fe2d7389896200d065c568182ab1419973 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Mon, 3 Apr 2000 10:00:46 +0000
Subject: added 'ProofGeneral.undo'; fixed 'cd' classification;

---
 isar/isar-keywords.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'isar/isar-keywords.el')

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 8f9688ed..84afff87 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -33,8 +33,8 @@
     "ProofGeneral\\.kill_proof"
     "ProofGeneral\\.restart"
     "ProofGeneral\\.try_context_thy_only"
+    "ProofGeneral\\.undo"
     "cannot_undo"
-    "cd"
     "clear_undos"
     "exit"
     "init_toplevel"
@@ -48,6 +48,7 @@
 (defconst isar-keywords-diag
   '("ML"
     "ML_command"
+    "cd"
     "commit"
     "disable_pr"
     "enable_pr"
-- 
cgit v1.2.3