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"