added 'smt2_status' to keywords
authorblanchet
Thu Mar 13 14:48:20 2014 +0100 (2014-03-13)
changeset 56108df9add9949bb
parent 56107 2ec2d06b9424
child 56109 1ba56358eba4
added 'smt2_status' to keywords
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Thu Mar 13 14:48:20 2014 +0100
     1.2 +++ b/etc/isar-keywords.el	Thu Mar 13 14:48:20 2014 +0100
     1.3 @@ -244,6 +244,7 @@
     1.4      "sledgehammer"
     1.5      "sledgehammer_params"
     1.6      "smt_status"
     1.7 +    "smt2_status"
     1.8      "solve_direct"
     1.9      "sorry"
    1.10      "spark_end"
    1.11 @@ -447,6 +448,7 @@
    1.12      "refute"
    1.13      "sledgehammer"
    1.14      "smt_status"
    1.15 +    "smt2_status"
    1.16      "solve_direct"
    1.17      "spark_status"
    1.18      "term"