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

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/src/proofdocument/Text.scala	Sun Oct 19 16:51:55 2008 +0200
@@ -0,0 +1,14 @@
+package isabelle.proofdocument
+
+import isabelle.utils.EventSource
+
+object Text {
+  class Changed(val start : Int, val added : Int, val removed : Int) { }
+}
+
+trait Text {
+  def content(start : Int, stop : Int) : String
+  def length : Int
+  
+  def changes : EventSource[Text.Changed]
+}