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 36180 2db3711b2b03
parent 36114 e49fd7b1d932
child 36321 58d4dc6000fc 
--- 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"
isabelle