changeset 34827 | 69852bd3c4c4 |
parent 34825 | 7f72547f9b12 |
child 34833 | 683ddf358698 |
--- 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])