Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/isar-keywords-ZF.el
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"))
isabelle