1.1 --- a/etc/isar-keywords-ZF.el	Mon Jul 14 21:39:08 2008 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Jul 14 22:09:08 2008 +0200
     1.3 @@ -153,7 +153,6 @@
     1.4      "quit"
     1.5      "realizability"
     1.6      "realizers"
     1.7 -    "redo"
     1.8      "remove_thy"
     1.9      "rep_datatype"
    1.10      "sect"
    1.11 @@ -259,7 +258,6 @@
    1.12      "kill"
    1.13      "linear_undo"
    1.14      "quit"
    1.15 -    "redo"
    1.16      "undo"
    1.17      "undos_proof"))
    1.18  

     2.1 --- a/etc/isar-keywords.el	Mon Jul 14 21:39:08 2008 +0200
     2.2 +++ b/etc/isar-keywords.el	Mon Jul 14 22:09:08 2008 +0200
     2.3 @@ -185,7 +185,6 @@
     2.4      "recdef"
     2.5      "recdef_tc"
     2.6      "record"
     2.7 -    "redo"
     2.8      "refute"
     2.9      "refute_params"
    2.10      "remove_thy"
    2.11 @@ -313,7 +312,6 @@
    2.12      "kill"
    2.13      "linear_undo"
    2.14      "quit"
    2.15 -    "redo"
    2.16      "undo"
    2.17      "undos_proof"))
    2.18  

     3.1 --- a/lib/jedit/isabelle.xml	Mon Jul 14 21:39:08 2008 +0200
     3.2 +++ b/lib/jedit/isabelle.xml	Mon Jul 14 22:09:08 2008 +0200
     3.3 @@ -258,7 +258,6 @@
     3.4        <OPERATOR>recdef_tc</OPERATOR>
     3.5        <OPERATOR>record</OPERATOR>
     3.6        <KEYWORD4>recursor_eqns</KEYWORD4>
     3.7 -      <INVALID>redo</INVALID>
     3.8        <LABEL>refute</LABEL>
     3.9        <OPERATOR>refute_params</OPERATOR>
    3.10        <LABEL>remove_thy</LABEL>