1.1 --- a/lib/jedit/isabelle.xml	Sat Jun 14 17:26:15 2008 +0200
     1.2 +++ b/lib/jedit/isabelle.xml	Sat Jun 14 17:49:24 2008 +0200
     1.3 @@ -82,7 +82,6 @@
     1.4        <OPERATOR>code_module</OPERATOR>
     1.5        <OPERATOR>code_modulename</OPERATOR>
     1.6        <OPERATOR>code_monad</OPERATOR>
     1.7 -      <OPERATOR>code_props</OPERATOR>
     1.8        <OPERATOR>code_reserved</OPERATOR>
     1.9        <LABEL>code_thms</LABEL>
    1.10        <OPERATOR>code_type</OPERATOR>
    1.11 @@ -297,7 +296,6 @@
    1.12        <KEYWORD2>thus</KEYWORD2>
    1.13        <LABEL>thy_deps</LABEL>
    1.14        <KEYWORD4>to</KEYWORD4>
    1.15 -      <OPERATOR>token_translation</OPERATOR>
    1.16        <LABEL>touch_child_thys</LABEL>
    1.17        <LABEL>touch_thy</LABEL>
    1.18        <KEYWORD4>transitions</KEYWORD4>