changeset 75393 | 87ebf5a50283 |
parent 74306 | a117c076aa22 |
child 75920 | 27bf2533f4a4 |
--- a/src/Pure/ML/ml_console.scala Fri Apr 01 11:51:42 2022 +0200 +++ b/src/Pure/ML/ml_console.scala Fri Apr 01 17:06:10 2022 +0200 @@ -7,12 +7,10 @@ package isabelle -object ML_Console -{ +object ML_Console { /* command line entry point */ - def main(args: Array[String]): Unit = - { + def main(args: Array[String]): Unit = { Command_Line.tool { var dirs: List[Path] = Nil var include_sessions: List[String] = Nil