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.
back to Vampire 9 -- Vampire 11 sometimes outputs really weird proofs
authorblanchet
Wed, 28 Apr 2010 22:00:48 +0200
changeset 36552 2c042d86c711
parent 36551 cc42df660808
child 36553 95bdfa572cee
back to Vampire 9 -- Vampire 11 sometimes outputs really weird proofs
src/HOL/Tools/ATP_Manager/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP_Manager/atp_systems.ML	Wed Apr 28 21:59:29 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_systems.ML	Wed Apr 28 22:00:48 2010 +0200
@@ -396,7 +396,7 @@
 
 val remote_vampire =
   tptp_prover (remotify (fst vampire))
-              (remote_prover_config "Vampire---11" "" vampire_config)
+              (remote_prover_config "Vampire---9" "" vampire_config)
 
 val remote_e =
   tptp_prover (remotify (fst e))
isabelle