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 keywords;
authorwenzelm
Fri, 16 Apr 2010 22:52:49 +0200
changeset 36180 2db3711b2b03
parent 36179 f45c708bcc01
child 36191 d4b494b7f1a1
updated keywords;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords-ZF.el	Fri Apr 16 22:45:07 2010 +0200
+++ b/etc/isar-keywords-ZF.el	Fri Apr 16 22:52:49 2010 +0200
@@ -82,7 +82,10 @@
     "header"
     "help"
     "hence"
-    "hide"
+    "hide_class"
+    "hide_const"
+    "hide_fact"
+    "hide_type"
     "inductive"
     "inductive_cases"
     "init_toplevel"
@@ -372,7 +375,10 @@
     "extract_type"
     "finalconsts"
     "global"
-    "hide"
+    "hide_class"
+    "hide_const"
+    "hide_fact"
+    "hide_type"
     "inductive"
     "instantiation"
     "judgment"
--- a/etc/isar-keywords.el	Fri Apr 16 22:45:07 2010 +0200
+++ b/etc/isar-keywords.el	Fri Apr 16 22:52:49 2010 +0200
@@ -115,7 +115,10 @@
     "header"
     "help"
     "hence"
-    "hide"
+    "hide_class"
+    "hide_const"
+    "hide_fact"
+    "hide_type"
     "inductive"
     "inductive_cases"
     "inductive_set"
@@ -494,7 +497,10 @@
     "fixrec"
     "fun"
     "global"
-    "hide"
+    "hide_class"
+    "hide_const"
+    "hide_fact"
+    "hide_type"
     "inductive"
     "inductive_set"
     "instantiation"
isabelle