--- a/etc/isar-keywords.el Fri Oct 03 19:35:14 2008 +0200
+++ b/etc/isar-keywords.el Fri Oct 03 19:35:15 2008 +0200
@@ -1,6 +1,6 @@
;;
;; Keyword classification tables for Isabelle/Isar.
-;; Generated from Pure + Pure-ProofGeneral + HOL-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
+;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
;;
;; $Id$
@@ -30,6 +30,9 @@
"arities"
"assume"
"atom_decl"
+ "atp_info"
+ "atp_kill"
+ "atp_setup"
"automaton"
"ax_specification"
"axclass"
@@ -152,6 +155,7 @@
"print_abbrevs"
"print_antiquotations"
"print_ast_translation"
+ "print_atps"
"print_attributes"
"print_binds"
"print_cases"
@@ -325,6 +329,8 @@
(defconst isar-keywords-diag
'("ML_command"
"ML_val"
+ "atp_info"
+ "atp_kill"
"cd"
"class_deps"
"code_deps"
@@ -345,6 +351,7 @@
"prf"
"print_abbrevs"
"print_antiquotations"
+ "print_atps"
"print_attributes"
"print_binds"
"print_cases"
@@ -406,6 +413,7 @@
"abbreviation"
"arities"
"atom_decl"
+ "atp_setup"
"automaton"
"axclass"
"axiomatization"
--- a/lib/jedit/isabelle.xml Fri Oct 03 19:35:14 2008 +0200
+++ b/lib/jedit/isabelle.xml Fri Oct 03 19:35:15 2008 +0200
@@ -1,6 +1,6 @@
<?xml version="1.0"?>
<!DOCTYPE MODE SYSTEM "xmode.dtd">
-<!-- Generated from Pure + HOL-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
+<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
<!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
<!-- $Id$ -->
<MODE>
@@ -54,6 +54,9 @@
<KEYWORD2>assume</KEYWORD2>
<KEYWORD4>assumes</KEYWORD4>
<OPERATOR>atom_decl</OPERATOR>
+ <LABEL>atp_info</LABEL>
+ <LABEL>atp_kill</LABEL>
+ <OPERATOR>atp_setup</OPERATOR>
<KEYWORD4>attach</KEYWORD4>
<OPERATOR>automaton</OPERATOR>
<KEYWORD4>avoids</KEYWORD4>
@@ -223,6 +226,7 @@
<LABEL>print_abbrevs</LABEL>
<LABEL>print_antiquotations</LABEL>
<OPERATOR>print_ast_translation</OPERATOR>
+ <LABEL>print_atps</LABEL>
<LABEL>print_attributes</LABEL>
<LABEL>print_binds</LABEL>
<LABEL>print_cases</LABEL>