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.
tuning -- don't refer to old, internal version number (needlessly confusing now)
authorblanchet
Tue, 20 Mar 2012 00:44:30 +0100
changeset 47033 baa9dc39ee51
parent 47032 73cdeed236c0
child 47034 77da780ddd6b
tuning -- don't refer to old, internal version number (needlessly confusing now)
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Tue Mar 20 00:44:30 2012 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue Mar 20 00:44:30 2012 +0100
@@ -200,7 +200,7 @@
 
 (* E *)
 
-fun is_old_e_version () = (string_ord (getenv "E_VERSION", "1.2w") = LESS)
+fun is_old_e_version () = (string_ord (getenv "E_VERSION", "1.3") = LESS)
 
 val tstp_proof_delims =
   [("# SZS output start CNFRefutation.", "# SZS output end CNFRefutation"),
isabelle