# HG changeset patch
# User blanchet
# Date 1394718500 -3600
# Node ID df9add9949bb3b1bfabed5a5c1bc5d1694081040
# Parent  2ec2d06b9424d10c3c10daaa77e69dac32296979
added 'smt2_status' to keywords

diff -r 2ec2d06b9424 -r df9add9949bb etc/isar-keywords.el
--- a/etc/isar-keywords.el	Thu Mar 13 14:48:20 2014 +0100
+++ b/etc/isar-keywords.el	Thu Mar 13 14:48:20 2014 +0100
@@ -244,6 +244,7 @@
     "sledgehammer"
     "sledgehammer_params"
     "smt_status"
+    "smt2_status"
     "solve_direct"
     "sorry"
     "spark_end"
@@ -447,6 +448,7 @@
     "refute"
     "sledgehammer"
     "smt_status"
+    "smt2_status"
     "solve_direct"
     "spark_status"
     "term"