diff -r 6b38fc0b3406 -r 69852bd3c4c4 src/Tools/jEdit/src/proofdocument/change.scala
--- a/src/Tools/jEdit/src/proofdocument/change.scala	Fri Jan 01 21:45:26 2010 +0100
+++ b/src/Tools/jEdit/src/proofdocument/change.scala	Fri Jan 01 21:53:00 2010 +0100
@@ -40,7 +40,6 @@
 
 
 class Change(
-  val id: Isar_Document.Document_ID,
   val parent: Option[Change],
   val edits: List[Edit],
   val result: Future[Document.Result])