# HG changeset patch
# User wenzelm
# Date 1216066148 -7200
# Node ID 26415966c7086b9615082863ae250b3b1275b61c
# Parent  68f98953c784a7c0236cd859e5b470fba83ce18c
updated generated file;

diff -r 68f98953c784 -r 26415966c708 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Mon Jul 14 21:39:08 2008 +0200
+++ b/etc/isar-keywords-ZF.el	Mon Jul 14 22:09:08 2008 +0200
@@ -153,7 +153,6 @@
     "quit"
     "realizability"
     "realizers"
-    "redo"
     "remove_thy"
     "rep_datatype"
     "sect"
@@ -259,7 +258,6 @@
     "kill"
     "linear_undo"
     "quit"
-    "redo"
     "undo"
     "undos_proof"))
 
diff -r 68f98953c784 -r 26415966c708 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Jul 14 21:39:08 2008 +0200
+++ b/etc/isar-keywords.el	Mon Jul 14 22:09:08 2008 +0200
@@ -185,7 +185,6 @@
     "recdef"
     "recdef_tc"
     "record"
-    "redo"
     "refute"
     "refute_params"
     "remove_thy"
@@ -313,7 +312,6 @@
     "kill"
     "linear_undo"
     "quit"
-    "redo"
     "undo"
     "undos_proof"))
 
diff -r 68f98953c784 -r 26415966c708 lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml	Mon Jul 14 21:39:08 2008 +0200
+++ b/lib/jedit/isabelle.xml	Mon Jul 14 22:09:08 2008 +0200
@@ -258,7 +258,6 @@
       <OPERATOR>recdef_tc</OPERATOR>
       <OPERATOR>record</OPERATOR>
       <KEYWORD4>recursor_eqns</KEYWORD4>
-      <INVALID>redo</INVALID>
       <LABEL>refute</LABEL>
       <OPERATOR>refute_params</OPERATOR>
       <LABEL>remove_thy</LABEL>