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.
updated keywords
authorblanchet
Mon, 25 Oct 2010 10:38:41 +0200
changeset 40117 ea388cb9bc57
parent 40116 9ed3711366c8
child 40118 be8acf6e63bb
updated keywords
etc/isar-keywords.el file | annotate | diff | comparison | revisions 
--- a/etc/isar-keywords.el	Mon Oct 25 10:30:46 2010 +0200
+++ b/etc/isar-keywords.el	Mon Oct 25 10:38:41 2010 +0200
@@ -220,6 +220,7 @@
     "sledgehammer"
     "sledgehammer_params"
     "smt_status"
+    "solve_direct"
     "sorry"
     "specification"
     "statespace"
@@ -392,6 +393,7 @@
     "refute"
     "sledgehammer"
     "smt_status"
+    "solve_direct"
     "term"
     "thm"
     "thm_deps"
isabelle