--- 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"))
--- 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"))
--- 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>