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 40396 c4c6fa6819aa
parent 39283 635e09dea465
child 40784 177e8cea3e09 
--- a/etc/isar-keywords-ZF.el	Sat Nov 06 19:36:54 2010 +0100
+++ b/etc/isar-keywords-ZF.el	Sat Nov 06 19:37:31 2010 +0100
@@ -258,6 +258,8 @@
     "ProofGeneral\\.restart"
     "ProofGeneral\\.undo"
     "cannot_undo"
+    "cd"
+    "commit"
     "disable_pr"
     "enable_pr"
     "exit"
@@ -275,9 +277,7 @@
   '("ML_command"
     "ML_val"
     "ProofGeneral\\.pr"
-    "cd"
     "class_deps"
-    "commit"
     "display_drafts"
     "find_consts"
     "find_theorems"
isabelle