updated keywords;
authorwenzelm
Fri Apr 16 22:52:49 2010 +0200 (2010-04-16)
changeset 361802db3711b2b03
parent 36179 f45c708bcc01
child 36191 d4b494b7f1a1
updated keywords;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Fri Apr 16 22:45:07 2010 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Fri Apr 16 22:52:49 2010 +0200
     1.3 @@ -82,7 +82,10 @@
     1.4      "header"
     1.5      "help"
     1.6      "hence"
     1.7 -    "hide"
     1.8 +    "hide_class"
     1.9 +    "hide_const"
    1.10 +    "hide_fact"
    1.11 +    "hide_type"
    1.12      "inductive"
    1.13      "inductive_cases"
    1.14      "init_toplevel"
    1.15 @@ -372,7 +375,10 @@
    1.16      "extract_type"
    1.17      "finalconsts"
    1.18      "global"
    1.19 -    "hide"
    1.20 +    "hide_class"
    1.21 +    "hide_const"
    1.22 +    "hide_fact"
    1.23 +    "hide_type"
    1.24      "inductive"
    1.25      "instantiation"
    1.26      "judgment"
     2.1 --- a/etc/isar-keywords.el	Fri Apr 16 22:45:07 2010 +0200
     2.2 +++ b/etc/isar-keywords.el	Fri Apr 16 22:52:49 2010 +0200
     2.3 @@ -115,7 +115,10 @@
     2.4      "header"
     2.5      "help"
     2.6      "hence"
     2.7 -    "hide"
     2.8 +    "hide_class"
     2.9 +    "hide_const"
    2.10 +    "hide_fact"
    2.11 +    "hide_type"
    2.12      "inductive"
    2.13      "inductive_cases"
    2.14      "inductive_set"
    2.15 @@ -494,7 +497,10 @@
    2.16      "fixrec"
    2.17      "fun"
    2.18      "global"
    2.19 -    "hide"
    2.20 +    "hide_class"
    2.21 +    "hide_const"
    2.22 +    "hide_fact"
    2.23 +    "hide_type"
    2.24      "inductive"
    2.25      "inductive_set"
    2.26      "instantiation"