equal
deleted
inserted
replaced
139 } |
139 } |
140 |
140 |
141 |
141 |
142 /* Isabelle tool wrapper */ |
142 /* Isabelle tool wrapper */ |
143 |
143 |
144 val isabelle_tool = Isabelle_Tool("process", "raw ML process (batch mode)", args => |
144 val isabelle_tool = Isabelle_Tool("process", "raw ML process (batch mode)", |
|
145 Scala_Project.here, args => |
145 { |
146 { |
146 var dirs: List[Path] = Nil |
147 var dirs: List[Path] = Nil |
147 var eval_args: List[String] = Nil |
148 var eval_args: List[String] = Nil |
148 var logic = Isabelle_System.getenv("ISABELLE_LOGIC") |
149 var logic = Isabelle_System.getenv("ISABELLE_LOGIC") |
149 var modes: List[String] = Nil |
150 var modes: List[String] = Nil |