1.1 --- a/lib/jedit/isabelle.xml	Sat Apr 19 12:31:07 2008 +0200
     1.2 +++ b/lib/jedit/isabelle.xml	Sat Apr 19 12:36:12 2008 +0200
     1.3 @@ -222,7 +222,6 @@
     1.4        <LABEL>print_abbrevs</LABEL>
     1.5        <LABEL>print_antiquotations</LABEL>
     1.6        <OPERATOR>print_ast_translation</OPERATOR>
     1.7 -      <LABEL>print_atp_rules</LABEL>
     1.8        <LABEL>print_attributes</LABEL>
     1.9        <LABEL>print_binds</LABEL>
    1.10        <LABEL>print_cases</LABEL>
    1.11 @@ -239,7 +238,6 @@
    1.12        <LABEL>print_locale</LABEL>
    1.13        <LABEL>print_locales</LABEL>
    1.14        <LABEL>print_methods</LABEL>
    1.15 -      <LABEL>print_noatp_rules</LABEL>
    1.16        <LABEL>print_orders</LABEL>
    1.17        <LABEL>print_rules</LABEL>
    1.18        <LABEL>print_simpset</LABEL>