# HG changeset patch
# User blanchet
# Date 1287995921 -7200
# Node ID ea388cb9bc57d9310ae4411b7a0b4f4e5a237f7e
# Parent  9ed3711366c8ff6aaf1366bcafd26421c4f052f8
updated keywords

diff -r 9ed3711366c8 -r ea388cb9bc57 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Oct 25 10:30:46 2010 +0200
+++ b/etc/isar-keywords.el	Mon Oct 25 10:38:41 2010 +0200
@@ -220,6 +220,7 @@
     "sledgehammer"
     "sledgehammer_params"
     "smt_status"
+    "solve_direct"
     "sorry"
     "specification"
     "statespace"
@@ -392,6 +393,7 @@
     "refute"
     "sledgehammer"
     "smt_status"
+    "solve_direct"
     "term"
     "thm"
     "thm_deps"