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"