src/Pure/Tools/doc.scala

 
 
 import scala.collection.mutable
 
 
-object Doc
-{
+object Doc {
   /* dirs */
 
   def dirs(): List[Path] =
     Path.split(Isabelle_System.getenv("ISABELLE_DOCS"))
 

       catalog = dir + Path.basic("Contents")
       if catalog.is_file
       line <- Library.trim_split_lines(File.read(catalog))
     } yield (dir, line)
 
-  object Contents
-  {
+  object Contents {
     def apply(sections: List[Section]): Contents = new Contents(sections)
 
     def section(title: String, important: Boolean, entries: List[Entry]): Contents =
       apply(List(Section(title, important, entries)))
   }
-  class Contents private(val sections: List[Section])
-  {
+  class Contents private(val sections: List[Section]) {
     def ++ (other: Contents): Contents = new Contents(sections ::: other.sections)
     def entries: List[Entry] = sections.flatMap(_.entries)
     def docs: List[Doc] = entries.collect({ case doc: Doc => doc })
   }
 
   case class Section(title: String, important: Boolean, entries: List[Entry])
-  sealed abstract class Entry
-  {
+  sealed abstract class Entry {
     def name: String
     def path: Path
   }
   case class Doc(name: String, title: String, path: Path) extends Entry
   case class Text_File(name: String, path: Path) extends Entry

         text_file(file) match {
           case Some(entry) => entry
           case None => error("Bad entry in ISABELLE_DOCS_EXAMPLES: " + file)
         }))
 
-  def main_contents(): Contents =
-  {
+  def main_contents(): Contents = {
     val result = new mutable.ListBuffer[Section]
     val entries = new mutable.ListBuffer[Entry]
     var section: Option[Section] = None
 
     def flush(): Unit =

         result += section.get.copy(entries = entries.toList)
         entries.clear()
         section = None
       }
 
-    def begin(s: Section): Unit =
-    {
+    def begin(s: Section): Unit = {
       flush()
       section = Some(s)
     }
 
     val Section_ = """^(\S.*)\s*$""".r

 
     flush()
     Contents(result.toList)
   }
 
-  def contents(): Contents =
-  {
+  def contents(): Contents = {
     examples() ++ release_notes() ++ main_contents()
   }
 
-  object Doc_Names extends Scala.Fun_String("doc_names")
-  {
+  object Doc_Names extends Scala.Fun_String("doc_names") {
     val here = Scala_Project.here
     def apply(arg: String): String =
       if (arg.nonEmpty) error("Bad argument: " + quote(arg))
       else cat_lines((for (doc <- contents().docs) yield doc.name).sorted)
   }
 
 
   /* view */
 
-  def view(path: Path): Unit =
-  {
+  def view(path: Path): Unit = {
     if (!path.is_file) error("Bad Isabelle documentation file: " + path)
     else if (path.is_pdf) Isabelle_System.pdf_viewer(path)
     else Output.writeln(Library.trim_line(File.read(path)), stdout = true)
   }
 
 
   /* Isabelle tool wrapper */
 
   val isabelle_tool = Isabelle_Tool("doc", "view Isabelle PDF documentation",
-    Scala_Project.here, args =>
-  {
+    Scala_Project.here, args => {
     val getopts = Getopts("""
 Usage: isabelle doc [DOC ...]
 
   View Isabelle PDF documentation.
 """)