# HG changeset patch
# User wenzelm
# Date 1215722846 -7200
# Node ID 65f64da68a97b038d2cab87b9f6d04cc2e604cc7
# Parent  17838612217b0bc825ba6a7cd65c3057d61572cc
updated generated file;

diff -r 17838612217b -r 65f64da68a97 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Thu Jul 10 21:12:34 2008 +0200
+++ b/etc/isar-keywords-ZF.el	Thu Jul 10 22:47:26 2008 +0200
@@ -92,6 +92,7 @@
     "lemma"
     "lemmas"
     "let"
+    "linear_undo"
     "local"
     "locale"
     "method_setup"
@@ -256,6 +257,7 @@
     "exit"
     "init_toplevel"
     "kill"
+    "linear_undo"
     "quit"
     "redo"
     "undo"
diff -r 17838612217b -r 65f64da68a97 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Thu Jul 10 21:12:34 2008 +0200
+++ b/etc/isar-keywords.el	Thu Jul 10 22:47:26 2008 +0200
@@ -116,6 +116,7 @@
     "lemma"
     "lemmas"
     "let"
+    "linear_undo"
     "local"
     "locale"
     "method_setup"
@@ -310,6 +311,7 @@
     "exit"
     "init_toplevel"
     "kill"
+    "linear_undo"
     "quit"
     "redo"
     "undo"
diff -r 17838612217b -r 65f64da68a97 lib/jedit/isabelle.xml
--- a/lib/jedit/isabelle.xml	Thu Jul 10 21:12:34 2008 +0200
+++ b/lib/jedit/isabelle.xml	Thu Jul 10 22:47:26 2008 +0200
@@ -174,6 +174,7 @@
       <OPERATOR>lemma</OPERATOR>
       <OPERATOR>lemmas</OPERATOR>
       <OPERATOR>let</OPERATOR>
+      <INVALID>linear_undo</INVALID>
       <OPERATOR>local</OPERATOR>
       <OPERATOR>locale</OPERATOR>
       <OPERATOR>method_setup</OPERATOR>