Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/isar-keywords-ZF.el
changeset 21302 4c8f3dfc7124
parent 21203 8154a62bb498
child 21732 4d4cde714500 
--- 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"
isabelle