# HG changeset patch
# User blanchet
# Date 1284500254 -7200
# Node ID 81894ee79ee8d84d8c14b427a978c0c5993afd55
# Parent  4b35206e63609c93691f499d53d617a6bfcfef59
prefer version 0.6 of Vampire, now that we can parse its output

diff -r 4b35206e6360 -r 81894ee79ee8 src/HOL/Tools/ATP/atp_systems.ML
--- 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