src/Pure/Isar/isar_document.scala
changeset 31797 203d5e61e3bc
parent 31237 5c1aca930404
child 32448 a89f876731c5
equal deleted inserted replaced
31796:117300d72398 31797:203d5e61e3bc
    12   type State_ID = String
    12   type State_ID = String
    13   type Command_ID = String
    13   type Command_ID = String
    14   type Document_ID = String
    14   type Document_ID = String
    15 }
    15 }
    16 
    16 
    17 trait IsarDocument extends IsabelleProcess
    17 trait IsarDocument extends Isabelle_Process
    18 {
    18 {
    19   import IsarDocument._
    19   import IsarDocument._
    20 
    20 
    21 
    21 
    22   /* commands */
    22   /* commands */