# HG changeset patch
# User wenzelm
# Date 1602063111 -7200
# Node ID 04be6716cac617d72c557eb13b866eea8b1c0299
# Parent  6846b6df9a5f497a0594304454f4c8cc5c679649
tuned;

diff -r 6846b6df9a5f -r 04be6716cac6 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Oct 06 20:34:38 2020 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Oct 07 11:31:51 2020 +0200
@@ -61,18 +61,16 @@
     for (name <- List("src/Pure/System/distribution.ML", "src/Pure/System/distribution.scala"))
     {
       File.change(dir + Path.explode(name),
-        s =>
-          s.replaceAllLiterally("val is_identified = false", "val is_identified = true")
-           .replaceAllLiterally("val is_official = false", "val is_official = " + is_official))
+        _.replace("val is_identified = false", "val is_identified = true")
+         .replace("val is_official = false", "val is_official = " + is_official))
     }
 
     File.change(dir + getsettings_path,
-      _.replaceAllLiterally("ISABELLE_ID=\"\"", "ISABELLE_ID=" + quote(release.ident))
-       .replaceAllLiterally("ISABELLE_IDENTIFIER=\"\"",
-          "ISABELLE_IDENTIFIER=" + quote(release.dist_name)))
+      _.replace("ISABELLE_ID=\"\"", "ISABELLE_ID=" + quote(release.ident))
+       .replace("ISABELLE_IDENTIFIER=\"\"", "ISABELLE_IDENTIFIER=" + quote(release.dist_name)))
 
     File.change(dir + Path.explode("lib/html/library_index_header.template"),
-      _.replaceAllLiterally("{ISABELLE}", release.dist_name))
+      _.replace("{ISABELLE}", release.dist_name))
 
     for {
       name <-
@@ -81,12 +79,11 @@
           "src/Pure/System/distribution.scala",
           "lib/Tools/version") }
     {
-      File.change(dir + Path.explode(name),
-        s => s.replaceAllLiterally("repository version", release.dist_version))
+      File.change(dir + Path.explode(name), _.replace("repository version", release.dist_version))
     }
 
     File.change(dir + Path.explode("README"),
-      s => s.replaceAllLiterally("some repository version of Isabelle", release.dist_version))
+      _.replace("some repository version of Isabelle", release.dist_version))
   }
 
 
@@ -515,9 +512,8 @@
             val isabelle_app = isabelle_target + Path.explode("lib/scripts/Isabelle_app")
             File.write(isabelle_app,
               File.read(Path.explode("~~/Admin/Linux/Isabelle_app"))
-                .replaceAllLiterally("{CLASSPATH}",
-                  classpath.map("$ISABELLE_HOME/" + _).mkString(":"))
-                .replaceAllLiterally("/jdk/", "/" + jdk_component + "/"))
+                .replace("{CLASSPATH}", classpath.map("$ISABELLE_HOME/" + _).mkString(":"))
+                .replace("/jdk/", "/" + jdk_component + "/"))
             File.set_executable(isabelle_app, true)
 
             val linux_app = isabelle_target + Path.explode("contrib/linux_app")
@@ -553,8 +549,8 @@
 
             File.write(app_contents + Path.explode("Info.plist"),
               File.read(Path.explode("~~/Admin/MacOS/Info.plist"))
-                .replaceAllLiterally("{ISABELLE_NAME}", isabelle_name)
-                .replaceAllLiterally("{JAVA_OPTIONS}",
+                .replace("{ISABELLE_NAME}", isabelle_name)
+                .replace("{JAVA_OPTIONS}",
                   terminate_lines(java_options.map(opt => "<string>" + opt + "</string>"))))
 
             for (cp <- classpath) {
@@ -611,17 +607,16 @@
 
             File.write(tmp_dir + isabelle_xml,
               File.read(app_template + isabelle_xml)
-                .replaceAllLiterally("{ISABELLE_NAME}", isabelle_name)
-                .replaceAllLiterally("{OUTFILE}",
-                  File.platform_path(isabelle_target + isabelle_exe))
-                .replaceAllLiterally("{ICON}",
+                .replace("{ISABELLE_NAME}", isabelle_name)
+                .replace("{OUTFILE}", File.platform_path(isabelle_target + isabelle_exe))
+                .replace("{ICON}",
                   File.platform_path(app_template + Path.explode("isabelle_transparent.ico")))
-                .replaceAllLiterally("{SPLASH}",
+                .replace("{SPLASH}",
                   File.platform_path(app_template + Path.explode("isabelle.bmp")))
-                .replaceAllLiterally("{CLASSPATH}",
+                .replace("{CLASSPATH}",
                   cat_lines(classpath.map(cp =>
                     "    <cp>%EXEDIR%\\" + File.platform_path(cp).replace('/', '\\') + "</cp>")))
-                .replaceAllLiterally("\\jdk\\", "\\" + jdk_component + "\\"))
+                .replace("\\jdk\\", "\\" + jdk_component + "\\"))
 
             execute(tmp_dir,
               "\"windows_app/launch4j-${ISABELLE_PLATFORM_FAMILY}/launch4j\" isabelle.xml")
@@ -641,8 +636,7 @@
 
             val cygwin_bat = Path.explode("Cygwin-Setup.bat")
             File.write(isabelle_target + cygwin_bat,
-              File.read(cygwin_template + cygwin_bat)
-                .replaceAllLiterally("{MIRROR}", cygwin_mirror))
+              File.read(cygwin_template + cygwin_bat).replace("{MIRROR}", cygwin_mirror))
             File.set_executable(isabelle_target + cygwin_bat, true)
 
             for (name <- List("isabelle/postinstall", "isabelle/rebaseall")) {
@@ -678,8 +672,8 @@
 
             val sfx_exe = tmp_dir + Path.explode("windows_app/7zsd_All_x64.sfx")
             val sfx_txt =
-              File.read(Path.explode("~~/Admin/Windows/Installer/sfx.txt")).
-                replaceAllLiterally("{ISABELLE_NAME}", isabelle_name)
+              File.read(Path.explode("~~/Admin/Windows/Installer/sfx.txt"))
+                .replace("{ISABELLE_NAME}", isabelle_name)
 
             Bytes.write(release.dist_dir + isabelle_exe,
               Bytes.read(sfx_exe) + Bytes(sfx_txt) + Bytes.read(exe_archive))