src/Pure/System/isabelle_process.ML
changeset 31797 203d5e61e3bc
parent 31384 ce169bd37fc0
child 32738 15bb09ca0378
equal deleted inserted replaced
31796:117300d72398 31797:203d5e61e3bc
    25 sig
    25 sig
    26   val isabelle_processN: string
    26   val isabelle_processN: string
    27   val init: string -> unit
    27   val init: string -> unit
    28 end;
    28 end;
    29 
    29 
    30 structure IsabelleProcess: ISABELLE_PROCESS =
    30 structure Isabelle_Process: ISABELLE_PROCESS =
    31 struct
    31 struct
    32 
    32 
    33 (* print modes *)
    33 (* print modes *)
    34 
    34 
    35 val isabelle_processN = "isabelle_process";
    35 val isabelle_processN = "isabelle_process";