Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/isar-keywords.el
changeset 56108 df9add9949bb
parent 56069 451d5b73f8cf
child 56148 d94d6a9178b5 
--- 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