# HG changeset patch
# User blanchet
# Date 1338971705 -7200
# Node ID 25efe19cd4e916a195194e74ab0248a2f68c2088
# Parent  7a0b858fa63b42607637da85ad602481f07ed651
tweaked remote Vampire version

diff -r 7a0b858fa63b -r 25efe19cd4e9 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Jun 06 10:35:05 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Jun 06 10:35:05 2012 +0200
@@ -596,7 +596,7 @@
   remotify_atp satallax "Satallax" ["2.3", "2.2", "2"]
       (K ((100, satallax_thf0, "mono_native_higher", keep_lamsN, false), "") (* FUDGE *))
 val remote_vampire =
-  remotify_atp vampire "Vampire" ["2.5", "1.8"]
+  remotify_atp vampire "Vampire" ["2.6", "2.5", "1.8"]
       (K ((250, vampire_tff0, "mono_native", combs_or_liftingN, false), "") (* FUDGE *))
 val remote_z3_tptp =
   remotify_atp z3_tptp "Z3" ["3.0"]