src/Pure/PIDE/document.scala
changeset 55710 2d623ab55672
parent 55651 fa42cf3fe79b
child 55777 90484dff4dc4
     1.1 --- a/src/Pure/PIDE/document.scala	Mon Feb 24 10:48:34 2014 +0100
     1.2 +++ b/src/Pure/PIDE/document.scala	Mon Feb 24 11:05:02 2014 +0100
     1.3 @@ -634,6 +634,10 @@
     1.4            (thy_load_commands zip other.thy_load_commands).forall(eq_commands)
     1.5          }
     1.6  
     1.7 +        override def toString: String =
     1.8 +          "Snapshot(node = " + node_name.node + ", version = " + version.id +
     1.9 +            (if (is_outdated) ", outdated" else "") + ")"
    1.10 +
    1.11  
    1.12          /* cumulate markup */
    1.13