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.el
changeset 38708 8915e3ce8655
parent 38467 1b77e225fffc
child 38837 b47ee8df7ab4 
--- a/etc/isar-keywords.el	Wed Aug 25 11:30:45 2010 +0200
+++ b/etc/isar-keywords.el	Wed Aug 25 14:18:09 2010 +0200
@@ -102,7 +102,6 @@
     "full_prf"
     "fun"
     "function"
-    "global"
     "guess"
     "have"
     "header"
@@ -128,7 +127,6 @@
     "lemmas"
     "let"
     "linear_undo"
-    "local"
     "local_setup"
     "locale"
     "method_setup"
@@ -469,7 +467,6 @@
     "fixpat"
     "fixrec"
     "fun"
-    "global"
     "hide_class"
     "hide_const"
     "hide_fact"
@@ -479,7 +476,6 @@
     "instantiation"
     "judgment"
     "lemmas"
-    "local"
     "local_setup"
     "locale"
     "method_setup"
isabelle