src/Pure/Admin/build_fonts.scala

 */
 
 package isabelle
 
 
-object Build_Fonts
-{
+object Build_Fonts {
   /* relevant codepoint ranges */
 
-  object Range
-  {
+  object Range {
     def base_font: Seq[Int] =
       (0x0020 to 0x007e) ++  // ASCII
       (0x00a0 to 0x024f) ++  // Latin Extended-A/B
       (0x0400 to 0x04ff) ++  // Cyrillic
       (0x0600 to 0x06ff) ++  // Arabic

 
   sealed case class Family(
     plain: String = "",
     bold: String = "",
     italic: String = "",
-    bold_italic: String = "")
-  {
+    bold_italic: String = ""
+  ) {
     val fonts: List[String] =
       proper_string(plain).toList :::
       proper_string(bold).toList :::
       proper_string(italic).toList :::
       proper_string(bold_italic).toList
 
     def get(index: Int): String = fonts(index % fonts.length)
   }
 
-  object Family
-  {
+  object Family {
     def isabelle_symbols: Family =
       Family(
         plain = "IsabelleSymbols.sfd",
         bold = "IsabelleSymbolsBold.sfd")
 

 
 
   /* hinting */
 
   // see https://www.freetype.org/ttfautohint/doc/ttfautohint.html
-  private def auto_hint(source: Path, target: Path): Unit =
-  {
+  private def auto_hint(source: Path, target: Path): Unit = {
     Isabelle_System.bash("ttfautohint -i " +
       File.bash_path(source) + " " + File.bash_path(target)).check
   }
 
   private def hinted_path(hinted: Boolean): Path =

   private val hinting = List(false, true)
 
 
   /* build fonts */
 
-  private def find_file(dirs: List[Path], name: String): Path =
-  {
+  private def find_file(dirs: List[Path], name: String): Path = {
     val path = Path.explode(name)
     dirs.collectFirst({ case dir if (dir + path).is_file => dir + path }) match {
       case Some(file) => file
       case None =>
         error(cat_lines(

     sources: List[Family] = default_sources,
     source_dirs: List[Path] = Nil,
     target_prefix: String = "Isabelle",
     target_version: String = "",
     target_dir: Path = default_target_dir,
-    progress: Progress = new Progress): Unit =
-  {
+    progress: Progress = new Progress
+  ): Unit = {
     Isabelle_System.require_command("ttfautohint")
 
     progress.echo("Directory " + target_dir)
     hinting.foreach(hinted => Isabelle_System.make_directory(target_dir + hinted_path(hinted)))
 

         val source_file = find_file(font_dirs, source_font)
         val source_names = Fontforge.font_names(source_file)
 
         val target_names = source_names.update(prefix = target_prefix, version = target_version)
 
-        Isabelle_System.with_tmp_file("font", "ttf")(tmp_file =>
-        {
+        Isabelle_System.with_tmp_file("font", "ttf")(tmp_file => {
           for (hinted <- hinting) {
             val target_file = target_dir + hinted_path(hinted) + target_names.ttf
             progress.echo("Font " + target_file.toString + " ...")
 
             if (hinted) auto_hint(source_file, tmp_file)

 
 
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
-    Isabelle_Tool("build_fonts", "construct Isabelle fonts", Scala_Project.here, args =>
-    {
+    Isabelle_Tool("build_fonts", "construct Isabelle fonts", Scala_Project.here, args => {
       var source_dirs: List[Path] = Nil
 
       val getopts = Getopts("""
 Usage: isabelle build_fonts [OPTIONS]