changeset 74484 | ef07e6d672cb |
parent 74483 | 60eeb9952145 |
child 74734 | f345da8defff |
--- a/src/Pure/Admin/build_minisat.scala Thu Oct 07 13:46:50 2021 +0200 +++ b/src/Pure/Admin/build_minisat.scala Thu Oct 07 13:55:24 2021 +0200 @@ -101,7 +101,7 @@ /* README */ File.write(component_dir + Path.basic("README"), - "This Isabelle component provides Minisat " + version + """using the + "This Isabelle component provides Minisat " + version + """ using the sources from """.stripMargin + download_url + """ The executables have been built via "make r"; macOS requires to