1.1 --- a/etc/isar-keywords.el	Fri Oct 03 19:35:14 2008 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Oct 03 19:35:15 2008 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; Generated from Pure + Pure-ProofGeneral + HOL-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
     1.7 +;; Generated from Pure + Pure-ProofGeneral + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10  ;; $Id$
    1.11 @@ -30,6 +30,9 @@
    1.12      "arities"
    1.13      "assume"
    1.14      "atom_decl"
    1.15 +    "atp_info"
    1.16 +    "atp_kill"
    1.17 +    "atp_setup"
    1.18      "automaton"
    1.19      "ax_specification"
    1.20      "axclass"
    1.21 @@ -152,6 +155,7 @@
    1.22      "print_abbrevs"
    1.23      "print_antiquotations"
    1.24      "print_ast_translation"
    1.25 +    "print_atps"
    1.26      "print_attributes"
    1.27      "print_binds"
    1.28      "print_cases"
    1.29 @@ -325,6 +329,8 @@
    1.30  (defconst isar-keywords-diag
    1.31    '("ML_command"
    1.32      "ML_val"
    1.33 +    "atp_info"
    1.34 +    "atp_kill"
    1.35      "cd"
    1.36      "class_deps"
    1.37      "code_deps"
    1.38 @@ -345,6 +351,7 @@
    1.39      "prf"
    1.40      "print_abbrevs"
    1.41      "print_antiquotations"
    1.42 +    "print_atps"
    1.43      "print_attributes"
    1.44      "print_binds"
    1.45      "print_cases"
    1.46 @@ -406,6 +413,7 @@
    1.47      "abbreviation"
    1.48      "arities"
    1.49      "atom_decl"
    1.50 +    "atp_setup"
    1.51      "automaton"
    1.52      "axclass"
    1.53      "axiomatization"

     2.1 --- a/lib/jedit/isabelle.xml	Fri Oct 03 19:35:14 2008 +0200
     2.2 +++ b/lib/jedit/isabelle.xml	Fri Oct 03 19:35:15 2008 +0200
     2.3 @@ -1,6 +1,6 @@
     2.4  <?xml version="1.0"?>
     2.5  <!DOCTYPE MODE SYSTEM "xmode.dtd">
     2.6 -<!-- Generated from Pure + HOL-Plain + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
     2.7 +<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + HOL-Statespace + FOL + ZF. -->
     2.8  <!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
     2.9  <!-- $Id$ -->
    2.10  <MODE>
    2.11 @@ -54,6 +54,9 @@
    2.12        <KEYWORD2>assume</KEYWORD2>
    2.13        <KEYWORD4>assumes</KEYWORD4>
    2.14        <OPERATOR>atom_decl</OPERATOR>
    2.15 +      <LABEL>atp_info</LABEL>
    2.16 +      <LABEL>atp_kill</LABEL>
    2.17 +      <OPERATOR>atp_setup</OPERATOR>
    2.18        <KEYWORD4>attach</KEYWORD4>
    2.19        <OPERATOR>automaton</OPERATOR>
    2.20        <KEYWORD4>avoids</KEYWORD4>
    2.21 @@ -223,6 +226,7 @@
    2.22        <LABEL>print_abbrevs</LABEL>
    2.23        <LABEL>print_antiquotations</LABEL>
    2.24        <OPERATOR>print_ast_translation</OPERATOR>
    2.25 +      <LABEL>print_atps</LABEL>
    2.26        <LABEL>print_attributes</LABEL>
    2.27        <LABEL>print_binds</LABEL>
    2.28        <LABEL>print_cases</LABEL>