--- a/src/Pure/PIDE/command.scala Wed Feb 26 17:14:23 2014 +0100
+++ b/src/Pure/PIDE/command.scala Wed Feb 26 20:56:55 2014 +0100
@@ -228,6 +228,8 @@
val range = Text.Range(0, length)
private val symbol_index = Symbol.Index(text)
def decode(r: Text.Range): Text.Range = symbol_index.decode(r)
+
+ override def toString: String = "Command.File(" + file_name + ")"
}
--- a/src/Pure/PIDE/document.scala Wed Feb 26 17:14:23 2014 +0100
+++ b/src/Pure/PIDE/document.scala Wed Feb 26 20:56:55 2014 +0100
@@ -292,6 +292,8 @@
val nodes: Nodes = Nodes.empty)
{
def is_init: Boolean = id == Document_ID.none
+
+ override def toString: String = "Version(" + id + ")"
}