equal
deleted
inserted
replaced
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
|
10 import java.util.{Map => JMap} |
10 import java.io.{File => JFile} |
11 import java.io.{File => JFile} |
11 |
12 |
12 |
13 |
13 object Isabelle_Process |
14 object Isabelle_Process |
14 { |
15 { |
21 raw_ml_system: Boolean = false, |
22 raw_ml_system: Boolean = false, |
22 use_prelude: List[String] = Nil, |
23 use_prelude: List[String] = Nil, |
23 eval_main: String = "", |
24 eval_main: String = "", |
24 modes: List[String] = Nil, |
25 modes: List[String] = Nil, |
25 cwd: JFile = null, |
26 cwd: JFile = null, |
26 env: Map[String, String] = Isabelle_System.settings()): Isabelle_Process = |
27 env: JMap[String, String] = Isabelle_System.settings()): Isabelle_Process = |
27 { |
28 { |
28 val channel = System_Channel() |
29 val channel = System_Channel() |
29 val process = |
30 val process = |
30 try { |
31 try { |
31 val channel_options = |
32 val channel_options = |