# HG changeset patch
# User wenzelm
# Date 1223055315 -7200
# Node ID 36b12b1be770b414fe84539690f8fc61c2cf6d3c
# Parent  b1e63755e402291a8b9a68d0c068d3f5731548cf
updated generated file;

diff -r b1e63755e402 -r 36b12b1be770 etc/isar-keywords.el
--- 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"
diff -r b1e63755e402 -r 36b12b1be770 lib/jedit/isabelle.xml
--- 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>