Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added 'smt2_status' to keywords
authorblanchet
Thu, 13 Mar 2014 14:48:20 +0100
changeset 56108 df9add9949bb
parent 56107 2ec2d06b9424
child 56109 1ba56358eba4
added 'smt2_status' to keywords
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- 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"
isabelle