src/Pure/General/comment.scala

 */
 
 package isabelle
 
 
-object Comment
-{
-  object Kind extends Enumeration
-  {
+object Comment {
+  object Kind extends Enumeration {
     val COMMENT = Value("formal comment")
     val CANCEL = Value("canceled text")
     val LATEX = Value("embedded LaTeX")
     val MARKER = Value("document marker")
   }

       Symbol.marker, Symbol.marker_decoded)
 
   lazy val symbols_blanks: Set[Symbol.Symbol] =
     Set(Symbol.comment, Symbol.comment_decoded)
 
-  def content(source: String): String =
-  {
+  def content(source: String): String = {
     def err(): Nothing = error("Malformed formal comment: " + quote(source))
 
     Symbol.explode(source) match {
       case sym :: rest if symbols_blanks(sym) =>
         val body = if (symbols_blanks(sym)) rest.dropWhile(Symbol.is_blank) else rest

         catch { case ERROR(_) => err() }
       case _ => err()
     }
   }
 
-  trait Parsers extends Scan.Parsers
-  {
+  trait Parsers extends Scan.Parsers {
    def comment_prefix: Parser[String] =
      one(symbols_blanks) ~ many(Symbol.is_blank) ^^ { case a ~ b => a + b.mkString } |
      one(symbols)
 
    def comment_cartouche: Parser[String] =
       comment_prefix ~ cartouche ^^ { case a ~ b => a + b }
 
-    def comment_cartouche_line(ctxt: Scan.Line_Context): Parser[(String, Scan.Line_Context)] =
-    {
+    def comment_cartouche_line(ctxt: Scan.Line_Context): Parser[(String, Scan.Line_Context)] = {
       def cartouche_context(d: Int): Scan.Line_Context =
         if (d == 0) Scan.Finished else Scan.Cartouche_Comment(d)
 
       ctxt match {
         case Scan.Finished =>