changeset 27590 | 26415966c708 |
parent 27538 | 65f64da68a97 |
child 27621 | d96bd54d7446 |
--- 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"))