From fccf559b0efb3e3fb1340d1f436abd92ffdc8add Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sun, 29 Aug 1999 16:03:23 +0000
Subject: tuned;

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

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 52f97ca6..600e7f03 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -67,6 +67,7 @@
 
 (defconst isar-keywords-theory-enclose
   (append isar-keywords-theory-begin
+	  isar-keywords-theory-switch
 	  isar-keywords-theory-end))
 
 (defconst isar-keywords-theory
@@ -173,7 +174,7 @@
 (defconst isar-kill "kill;")
 
 (defun isar-remove (name)
-  (concat "init_toplevel; remove_thy \"" name "\""))
+  (concat "init_toplevel; remove_thy \"" name "\";"))
 
 (defun isar-undos (i)
   (if (> i 0)
-- 
cgit v1.2.3