# HG changeset patch
# User wenzelm
# Date 1208601372 -7200
# Node ID 2826756b1d4f412df535d0e8febf886e7860bb8e
# Parent  4d9ca7a6b58601303eb3346e5a5d6a69188cffd7
updated generated file;

diff -r 4d9ca7a6b586 -r 2826756b1d4f lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml	Sat Apr 19 12:31:07 2008 +0200
+++ b/lib/jedit/isabelle.xml	Sat Apr 19 12:36:12 2008 +0200
@@ -222,7 +222,6 @@
       <LABEL>print_abbrevs</LABEL>
       <LABEL>print_antiquotations</LABEL>
       <OPERATOR>print_ast_translation</OPERATOR>
-      <LABEL>print_atp_rules</LABEL>
       <LABEL>print_attributes</LABEL>
       <LABEL>print_binds</LABEL>
       <LABEL>print_cases</LABEL>
@@ -239,7 +238,6 @@
       <LABEL>print_locale</LABEL>
       <LABEL>print_locales</LABEL>
       <LABEL>print_methods</LABEL>
-      <LABEL>print_noatp_rules</LABEL>
       <LABEL>print_orders</LABEL>
       <LABEL>print_rules</LABEL>
       <LABEL>print_simpset</LABEL>