equal
deleted
inserted
replaced
61 |
61 |
62 class Isabelle_Process private( |
62 class Isabelle_Process private( |
63 receiver: Prover.Receiver, |
63 receiver: Prover.Receiver, |
64 xml_cache: XML.Cache, |
64 xml_cache: XML.Cache, |
65 channel: System_Channel, |
65 channel: System_Channel, |
66 process: Prover.System_Process) |
66 process: Bash.Process) |
67 extends Prover(receiver, xml_cache, channel, process) |
67 extends Prover(receiver, xml_cache, channel, process) |
68 { |
68 { |
69 def encode(s: String): String = Symbol.encode(s) |
69 def encode(s: String): String = Symbol.encode(s) |
70 def decode(s: String): String = Symbol.decode(s) |
70 def decode(s: String): String = Symbol.decode(s) |
71 } |
71 } |