etc/isar-keywords-ZF.el
changeset 29607 2db3537c3535
parent 29252 ea97aa6aeba2
child 29882 29154e67731d
     1.1 --- a/etc/isar-keywords-ZF.el	Wed Jan 21 23:21:44 2009 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Jan 21 23:25:17 2009 +0100
     1.3 @@ -3,14 +3,16 @@
     1.4  ;; Generated from Pure + Pure-ProofGeneral + FOL + ZF.
     1.5  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.6  ;;
     1.7 -;; $Id$
     1.8 -;;
     1.9  
    1.10  (defconst isar-keywords-major
    1.11    '("\\."
    1.12      "\\.\\."
    1.13      "Isabelle\\.command"
    1.14 +    "Isar\\.begin_document"
    1.15      "Isar\\.command"
    1.16 +    "Isar\\.define_command"
    1.17 +    "Isar\\.edit_document"
    1.18 +    "Isar\\.end_document"
    1.19      "Isar\\.insert"
    1.20      "Isar\\.remove"
    1.21      "ML"
    1.22 @@ -89,7 +91,6 @@
    1.23      "instantiation"
    1.24      "interpret"
    1.25      "interpretation"
    1.26 -    "invoke"
    1.27      "judgment"
    1.28      "kill"
    1.29      "kill_thy"
    1.30 @@ -135,7 +136,6 @@
    1.31      "print_drafts"
    1.32      "print_facts"
    1.33      "print_induct_rules"
    1.34 -    "print_interps"
    1.35      "print_locale"
    1.36      "print_locales"
    1.37      "print_methods"
    1.38 @@ -249,7 +249,11 @@
    1.39  
    1.40  (defconst isar-keywords-control
    1.41    '("Isabelle\\.command"
    1.42 +    "Isar\\.begin_document"
    1.43      "Isar\\.command"
    1.44 +    "Isar\\.define_command"
    1.45 +    "Isar\\.edit_document"
    1.46 +    "Isar\\.end_document"
    1.47      "Isar\\.insert"
    1.48      "Isar\\.remove"
    1.49      "ProofGeneral\\.inform_file_processed"
    1.50 @@ -298,7 +302,6 @@
    1.51      "print_drafts"
    1.52      "print_facts"
    1.53      "print_induct_rules"
    1.54 -    "print_interps"
    1.55      "print_locale"
    1.56      "print_locales"
    1.57      "print_methods"
    1.58 @@ -438,8 +441,7 @@
    1.59  (defconst isar-keywords-proof-goal
    1.60    '("have"
    1.61      "hence"
    1.62 -    "interpret"
    1.63 -    "invoke"))
    1.64 +    "interpret"))
    1.65  
    1.66  (defconst isar-keywords-proof-block
    1.67    '("next"