Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/ATP/system_on_tptp.ML
changeset 73430 c7f14309e291
parent 73424 2b657a70116c
child 73431 f27d7b12e8a4 
--- a/src/HOL/Tools/ATP/system_on_tptp.ML	Sun Mar 14 13:09:17 2021 +0100
+++ b/src/HOL/Tools/ATP/system_on_tptp.ML	Sun Mar 14 13:21:59 2021 +0100
@@ -18,7 +18,7 @@
 fun list_systems () =
   let
     val url = get_url ()
-    val systems = split_lines (\<^scala>\<open>SystemOnTPTP.list_systems\<close> url)
+    val systems = trim_split_lines (\<^scala>\<open>SystemOnTPTP.list_systems\<close> url)
   in {url = url, systems = systems} end
 
 end
isabelle