src/Tools/jEdit/src/proofdocument/Text.scala

 object Text {
   case class Change(start: Int, val added: String, val removed: Int) {
     override def toString = "start: " + start + " added: " + added + " removed: " + removed
   }
 }
-
-trait Text {
-  def changes: EventBus[Text.Change]
-}