src/Pure/Isar/isar_document.scala
changeset 31797 203d5e61e3bc
parent 31237 5c1aca930404
child 32448 a89f876731c5
     1.1 --- a/src/Pure/Isar/isar_document.scala	Thu Jun 25 13:24:45 2009 +0200
     1.2 +++ b/src/Pure/Isar/isar_document.scala	Thu Jun 25 13:25:35 2009 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4    type Document_ID = String
     1.5  }
     1.6  
     1.7 -trait IsarDocument extends IsabelleProcess
     1.8 +trait IsarDocument extends Isabelle_Process
     1.9  {
    1.10    import IsarDocument._
    1.11