src/Pure/PIDE/isar_document.scala
changeset 39627 108901b49210
parent 39625 fb0c851e4f9d
child 40479 cc06f5528bb1
     1.1 --- a/src/Pure/PIDE/isar_document.scala	Thu Sep 23 15:21:04 2010 +0200
     1.2 +++ b/src/Pure/PIDE/isar_document.scala	Thu Sep 23 15:36:03 2010 +0200
     1.3 @@ -99,14 +99,16 @@
     1.4  
     1.5    def is_state(msg: XML.Tree): Boolean =
     1.6      msg match {
     1.7 -      case XML.Elem(Markup(Markup.WRITELN, _), List(XML.Elem(Markup(Markup.STATE, _), _))) => true
     1.8 +      case XML.Elem(Markup(Markup.WRITELN, _),
     1.9 +        List(XML.Elem(Markup(Markup.STATE, _), _))) => true
    1.10        case _ => false
    1.11      }
    1.12  
    1.13  
    1.14    /* reported positions */
    1.15  
    1.16 -  private val include_pos = Set(Markup.BINDING, Markup.ENTITY, Markup.REPORT, Markup.POSITION)
    1.17 +  private val include_pos =
    1.18 +    Set(Markup.BINDING, Markup.ENTITY, Markup.REPORT, Markup.POSITION)
    1.19  
    1.20    def message_positions(command: Command, message: XML.Elem): Set[Text.Range] =
    1.21    {
    1.22 @@ -129,9 +131,6 @@
    1.23  
    1.24  trait Isar_Document extends Isabelle_Process
    1.25  {
    1.26 -  import Isar_Document._
    1.27 -
    1.28 -
    1.29    /* commands */
    1.30  
    1.31    def define_command(id: Document.Command_ID, text: String): Unit =