etc/isar-keywords.el
changeset 21302 4c8f3dfc7124
parent 21203 8154a62bb498
child 21732 4d4cde714500
--- 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"