src/Tools/jEdit/src/proofdocument/Change.scala

--- a/src/Tools/jEdit/src/proofdocument/Change.scala	Thu Sep 03 20:10:23 2009 +0200
+++ b/src/Tools/jEdit/src/proofdocument/Change.scala	Fri Sep 04 23:04:20 2009 +0200
@@ -1,5 +1,5 @@
 /*
- * Changes in text
+ * Changes of plain text
  *
  * @author Johannes Hölzl, TU Munich
  * @author Fabian Immler, TU Munich
@@ -7,6 +7,7 @@
 
 package isabelle.proofdocument
 
+
 sealed abstract class Edit
 {
   val start: Int
@@ -14,6 +15,7 @@
   def after(offset: Int): Int
 }
 
+
 case class Insert(start: Int, text: String) extends Edit
 {
   def before(offset: Int): Int =
@@ -24,6 +26,7 @@
     if (start <= offset) offset + text.length else offset
 }
 
+
 case class Remove(start: Int, text: String) extends Edit
 {
   def before(offset: Int): Int =
@@ -35,6 +38,7 @@
 }
 // TODO: merge multiple inserts?
 
+
 class Change(
   val id: String,
   val parent: Option[Change],