| changeset 57916 | 2c2c24dbf0a4 |
| parent 57906 | 020df63dd0a9 |
| child 57917 | 8ce97e5d545f |
| 57915:448325de6e4f | 57916:2c2c24dbf0a4 |
|---|---|
124 |
124 |
125 |
125 |
126 /* prover process */ |
126 /* prover process */ |
127 |
127 |
128 def start_prover(receiver: Prover.Message => Unit, name: String, args: List[String]): Prover = |
128 def start_prover(receiver: Prover.Message => Unit, name: String, args: List[String]): Prover = |
129 new Isabelle_Process(receiver, args) with Protocol |
129 new Isabelle_Process(receiver, args) |
130 } |
130 } |
131 |
131 |