Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated keywords;
authorwenzelm
Sat, 06 Nov 2010 19:37:31 +0100
changeset 40396 c4c6fa6819aa
parent 40395 4985aaade799
child 40397 4ad71312a192
updated keywords;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- 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"
--- a/etc/isar-keywords.el	Sat Nov 06 19:36:54 2010 +0100
+++ b/etc/isar-keywords.el	Sat Nov 06 19:37:31 2010 +0100
@@ -323,6 +323,8 @@
     "ProofGeneral\\.restart"
     "ProofGeneral\\.undo"
     "cannot_undo"
+    "cd"
+    "commit"
     "disable_pr"
     "enable_pr"
     "exit"
@@ -341,11 +343,9 @@
     "ML_val"
     "ProofGeneral\\.pr"
     "boogie_status"
-    "cd"
     "class_deps"
     "code_deps"
     "code_thms"
-    "commit"
     "display_drafts"
     "export_code"
     "find_consts"
isabelle