From 99527585d02e4470ba70497973e074bb4a4b6b77 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 11 Oct 2006 20:06:18 +0000
Subject: isar-keywords-indent-enclose: include "begin" keyword; removed
 obsolete kill/undo-kill-regexp;

---
 isar/isar-syntax.el | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index e990c0fe..19d95716 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -153,7 +153,8 @@ This list is in the right format for proof-easy-config.")
 (defconst isar-keywords-indent-enclose
   (append isar-keywords-proof-block
           isar-keywords-proof-close
-          isar-keywords-qed-block))
+          isar-keywords-qed-block
+	  '("begin")))
 
 
 ;; ----- regular expressions
@@ -416,7 +417,6 @@ matches contents of quotes for quoted identifiers.")
 ;; ----- variations on undo
 
 (defconst isar-undo "ProofGeneral.undo;")  ;; no output undo 
-(defconst isar-kill "kill;")
 
 (defun isar-remove (name)
   (concat "init_toplevel; kill_thy " name ";"))
@@ -456,9 +456,6 @@ matches contents of quotes for quoted identifiers.")
    (proof-anchor-regexp (isar-ids-to-regexp isar-keywords-theory-begin))
    isar-name-regexp))
 
-(defconst isar-undo-kill-regexp
-  (proof-anchor-regexp (isar-ids-to-regexp isar-keywords-theory-switch)))
-
 
 ;; ----- function-menu and imenu
 
-- 
cgit v1.2.3