# HG changeset patch
# User blanchet
# Date 1472808412 -7200
# Node ID a09cfea0c2c9025a10644a9411a01b250caeffd4
# Parent  c2cbbd619f381becd7b5b4d7beae053ae26eb76d
adapted remote E

diff -r c2cbbd619f38 -r a09cfea0c2c9 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Fri Sep 02 08:54:46 2016 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Fri Sep 02 11:26:52 2016 +0200
@@ -709,7 +709,7 @@
   remotify_atp agsyhol "agsyHOL" ["1.0", "1"]
     (K (((60, ""), agsyhol_thf0, "mono_native_higher", keep_lamsN, false), "") (* FUDGE *))
 val remote_e =
-  remotify_atp e "EP" ["1.8", "1.7", "1.6", "1.5", "1"]
+  remotify_atp e "E" ["2.0", "1.9.1", "1.8"]
     (K (((750, ""), FOF, "mono_tags??", combsN, false), "") (* FUDGE *))
 val remote_iprover =
   remotify_atp iprover "iProver" ["0.99"]