equal
deleted
inserted
replaced
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 object ML_Console |
10 object ML_Console { |
11 { |
|
12 /* command line entry point */ |
11 /* command line entry point */ |
13 |
12 |
14 def main(args: Array[String]): Unit = |
13 def main(args: Array[String]): Unit = { |
15 { |
|
16 Command_Line.tool { |
14 Command_Line.tool { |
17 var dirs: List[Path] = Nil |
15 var dirs: List[Path] = Nil |
18 var include_sessions: List[String] = Nil |
16 var include_sessions: List[String] = Nil |
19 var logic = Isabelle_System.getenv("ISABELLE_LOGIC") |
17 var logic = Isabelle_System.getenv("ISABELLE_LOGIC") |
20 var modes: List[String] = Nil |
18 var modes: List[String] = Nil |