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-HOL-Nominal.el
changeset 21302 4c8f3dfc7124
parent 21203 8154a62bb498
child 21544 a9ceeb182cfc 
--- 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"
isabelle