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.
adapted remote E
authorblanchet
Fri, 02 Sep 2016 11:26:52 +0200
changeset 63768 a09cfea0c2c9
parent 63767 c2cbbd619f38
child 63769 511d5ffd56ac
adapted remote E
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- 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"]
isabelle