src/Pure/PIDE/isar_document.scala
changeset 40479 cc06f5528bb1
parent 39627 108901b49210
child 43722 9b5dadb0c28d
     1.1 --- a/src/Pure/PIDE/isar_document.scala	Thu Nov 11 16:48:46 2010 +0100
     1.2 +++ b/src/Pure/PIDE/isar_document.scala	Thu Nov 11 17:07:05 2010 +0100
     1.3 @@ -140,7 +140,7 @@
     1.4    /* document versions */
     1.5  
     1.6    def edit_version(old_id: Document.Version_ID, new_id: Document.Version_ID,
     1.7 -      edits: List[Document.Edit[Document.Command_ID]])
     1.8 +      edits: List[Document.Edit_Command_ID])
     1.9    {
    1.10      val arg =
    1.11        XML_Data.make_list(