# HG changeset patch
# User blanchet
# Date 1282823730 -7200
# Node ID bf27c24ba2240ea9705b0e831d3d3e82b9d0e7e3
# Parent  21a6f261595e3f43b96a5f9c1ad06d0a8c73be36
fix Vampire version numbers

diff -r 21a6f261595e -r bf27c24ba224 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Thu Aug 26 11:51:06 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu Aug 26 13:55:30 2010 +0200
@@ -293,7 +293,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.9", "0.6", "1.0"]
+val remote_vampire = remotify_prover vampire "Vampire" ["9.0", "1.0", "0.6"]
 val remote_sine_e =
   remote_prover "sine_e" "SInE" [] [] [(Unprovable, "says Unknown")]
                 1000 (* FUDGE *) false true