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"