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.
prefer version 0.6 of Vampire, now that we can parse its output
authorblanchet
Tue, 14 Sep 2010 23:37:34 +0200
changeset 39375 81894ee79ee8
parent 39374 4b35206e6360
child 39376 ca81b7ae543c
prefer version 0.6 of Vampire, now that we can parse its output
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Tue Sep 14 23:36:23 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue Sep 14 23:37:34 2010 +0200
@@ -284,7 +284,7 @@
   (remotify_name name, remotify_config system_name system_versions config)
 
 val remote_e = remotify_prover e "EP" ["1.0", "1.1", "1.2"]
-val remote_vampire = remotify_prover vampire "Vampire" ["9.0", "1.0", "0.6"]
+val remote_vampire = remotify_prover vampire "Vampire" ["0.6", "9.0", "1.0"]
 val remote_sine_e =
   remote_prover "sine_e" "SInE" [] [] [(IncompleteUnprovable, "says Unknown")]
                 800 (* FUDGE *) true
isabelle