etc/isar-keywords.el
changeset 56108 df9add9949bb
parent 56069 451d5b73f8cf
child 56148 d94d6a9178b5
     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"