From dd15c7d9b514a2bdb37e9acc8d94c37493659f84 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 6 Jul 1999 19:22:41 +0000
Subject: removed prev, up, top;

---
 isar/isar-keywords.el | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 803b2388..4c5a152c 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -31,14 +31,11 @@
     "exit"
     "kill"
     "kill_proof"
-    "prev"
     "quit"
     "redo"
     "restart"
-    "top"
     "undo"
-    "undos_proof"
-    "up"))
+    "undos_proof"))
 
 (defconst isar-keywords-diag
   '("ML"
-- 
cgit v1.2.3