| changeset 73419 | 22f3f2117ed7 |
| parent 73418 | 7d7d959547a1 |
| child 73420 | 2c5d58e58fd2 |
--- a/src/HOL/Tools/ATP/system_on_tptp.scala Fri Mar 12 23:30:35 2021 +0100 +++ b/src/HOL/Tools/ATP/system_on_tptp.scala Sat Mar 13 12:36:24 2021 +0100 @@ -29,7 +29,7 @@ proper_lines(result.text) } - object List_Systems extends Scala.Fun("SystemOnTPTP.list_systems") + object List_Systems extends Scala.Fun("SystemOnTPTP.list_systems", thread = true) { val here = Scala_Project.here def apply(url: String): String = cat_lines(list_systems(Url(url)))