src/Tools/jEdit/src/isabelle_logic.scala
changeset 52834 a3f8c9f16d26
parent 52439 4cf3f6153eb8
child 54881 dff57132cf18
equal deleted inserted replaced
52833:21843a4c6ba9 52834:a3f8c9f16d26
    59   }
    59   }
    60 
    60 
    61   def session_args(): List[String] =
    61   def session_args(): List[String] =
    62   {
    62   {
    63     val modes = space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE")).map("-m" + _)
    63     val modes = space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE")).map("-m" + _)
    64     modes ::: List(jedit_logic())
    64     modes ::: List("-r", "-q", jedit_logic())
    65   }
    65   }
    66 
    66 
    67   def session_dirs(): List[Path] = Path.split(Isabelle_System.getenv("JEDIT_SESSION_DIRS"))
    67   def session_dirs(): List[Path] = Path.split(Isabelle_System.getenv("JEDIT_SESSION_DIRS"))
    68 
    68 
    69   def session_list(): List[String] =
    69   def session_list(): List[String] =