# HG changeset patch
# User wenzelm
# Date 1289068651 -3600
# Node ID c4c6fa6819aa9455b7221e3986b2b94fa57bb758
# Parent  4985aaade799f7be7cd653de9c90ce1707fcef30
updated keywords;

diff -r 4985aaade799 -r c4c6fa6819aa etc/isar-keywords-ZF.el
--- 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"
diff -r 4985aaade799 -r c4c6fa6819aa etc/isar-keywords.el
--- 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"