src/Pure/PIDE/protocol_message.scala

 */
 
 package isabelle
 
 
-object Protocol_Message
-{
+object Protocol_Message {
   /* message markers */
 
-  object Marker
-  {
+  object Marker {
     def apply(a: String): Marker =
       new Marker { override def name: String = a }
 
     def test(line: String): Boolean = line.startsWith("\f")
   }
 
-  abstract class Marker private
-  {
+  abstract class Marker private {
     def name: String
     val prefix: String = "\f" + name + " = "
 
     def apply(text: String): String = prefix + Library.encode_lines(text)
     def apply(props: Properties.T): String = apply(YXML.string_of_body(XML.Encode.properties(props)))