From 5159b8d8cc7218fb717ca4876bf845345a068f61 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 7 Dec 2006 19:51:46 +0000
Subject: isar-keywords-theory-enclose: isar-keywords-theory-switch is back
 again (in post-Isabelle2005 the latter is empty anyway);

---
 isar/isar-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 63fe4db4..51fc72b4 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -94,6 +94,7 @@ This list is in the right format for proof-easy-config.")
 
 (defconst isar-keywords-theory-enclose
   (append isar-keywords-theory-begin
+	  isar-keywords-theory-switch
           isar-keywords-theory-end))
 
 (defconst isar-keywords-theory
@@ -129,7 +130,6 @@ This list is in the right format for proof-easy-config.")
 
 (defconst isar-keywords-proper
   (append isar-keywords-theory
-          isar-keywords-theory-switch
           isar-keywords-proof-enclose
           isar-keywords-proof))
 
-- 
cgit v1.2.3