equal
deleted
inserted
replaced
416 |
416 |
417 |
417 |
418 /* Isabelle tool wrapper */ |
418 /* Isabelle tool wrapper */ |
419 |
419 |
420 val isabelle_tool = |
420 val isabelle_tool = |
421 Isabelle_Tool("server", "manage resident Isabelle servers", args => |
421 Isabelle_Tool("server", "manage resident Isabelle servers", Scala_Project.here, args => |
422 { |
422 { |
423 var console = false |
423 var console = false |
424 var log_file: Option[Path] = None |
424 var log_file: Option[Path] = None |
425 var operation_list = false |
425 var operation_list = false |
426 var operation_exit = false |
426 var operation_exit = false |