# HG changeset patch
# User wenzelm
# Date 1163257899 -3600
# Node ID 4c8f3dfc7124eec8ccf1a973bce75d122f9e814c
# Parent  8ebeab377939e3c3dadab1a62196245316eb8555
updated;

diff -r 8ebeab377939 -r 4c8f3dfc7124 etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Sat Nov 11 14:52:25 2006 +0100
+++ b/etc/isar-keywords-HOL-Nominal.el	Sat Nov 11 16:11:39 2006 +0100
@@ -354,7 +354,7 @@
   '("theory"))
 
 (defconst isar-keywords-theory-switch
-  '("context"))
+  '())
 
 (defconst isar-keywords-theory-end
   '("end"))
@@ -392,6 +392,7 @@
     "constdefs"
     "consts"
     "consts_code"
+    "context"
     "datatype"
     "defaultsort"
     "defer_recdef"
diff -r 8ebeab377939 -r 4c8f3dfc7124 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sat Nov 11 14:52:25 2006 +0100
+++ b/etc/isar-keywords-ZF.el	Sat Nov 11 16:11:39 2006 +0100
@@ -336,7 +336,7 @@
   '("theory"))
 
 (defconst isar-keywords-theory-switch
-  '("context"))
+  '())
 
 (defconst isar-keywords-theory-end
   '("end"))
@@ -373,6 +373,7 @@
     "constdefs"
     "consts"
     "consts_code"
+    "context"
     "datatype"
     "defaultsort"
     "definition"
diff -r 8ebeab377939 -r 4c8f3dfc7124 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat Nov 11 14:52:25 2006 +0100
+++ b/etc/isar-keywords.el	Sat Nov 11 16:11:39 2006 +0100
@@ -375,7 +375,7 @@
   '("theory"))
 
 (defconst isar-keywords-theory-switch
-  '("context"))
+  '())
 
 (defconst isar-keywords-theory-end
   '("end"))
@@ -413,6 +413,7 @@
     "constdefs"
     "consts"
     "consts_code"
+    "context"
     "datatype"
     "defaultsort"
     "defer_recdef"