Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated;
authorwenzelm
Sat, 11 Nov 2006 16:11:39 +0100
changeset 21302 4c8f3dfc7124
parent 21301 8ebeab377939
child 21303 fa16e4bf8717
updated;
etc/isar-keywords-HOL-Nominal.el file | annotate | diff | comparison | revisions
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- 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"
--- 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"
--- 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"
isabelle