etc/isar-keywords.el
changeset 15703 727ef1b8b3ee
parent 15624 484178635bd8
child 15762 13d1ec61bc89
     1.1 --- a/etc/isar-keywords.el	Wed Apr 13 09:48:41 2005 +0200
     1.2 +++ b/etc/isar-keywords.el	Wed Apr 13 18:34:22 2005 +0200
     1.3 @@ -7,7 +7,6 @@
     1.4  
     1.5  (defconst isar-keywords-major
     1.6    '("\\."
     1.7 -    "\\.\\."
     1.8      "ML"
     1.9      "ML_command"
    1.10      "ML_setup"
    1.11 @@ -19,6 +18,7 @@
    1.12      "ProofGeneral\\.restart"
    1.13      "ProofGeneral\\.try_context_thy_only"
    1.14      "ProofGeneral\\.undo"
    1.15 +    "\\.\\."
    1.16      "also"
    1.17      "apply"
    1.18      "apply_end"
    1.19 @@ -90,6 +90,7 @@
    1.20      "method_setup"
    1.21      "moreover"
    1.22      "next"
    1.23 +    "no_syntax"
    1.24      "nonterminals"
    1.25      "note"
    1.26      "obtain"
    1.27 @@ -362,6 +363,7 @@
    1.28      "local"
    1.29      "locale"
    1.30      "method_setup"
    1.31 +    "no_syntax"
    1.32      "nonterminals"
    1.33      "oracle"
    1.34      "parse_ast_translation"