54 Isabelle_System.getenv("JEDIT_LOGIC"), |
54 Isabelle_System.getenv("JEDIT_LOGIC"), |
55 options.string(jedit_logic_option)) |
55 options.string(jedit_logic_option)) |
56 |
56 |
57 def logic_ancestor: Option[String] = proper_string(Isabelle_System.getenv("JEDIT_LOGIC_ANCESTOR")) |
57 def logic_ancestor: Option[String] = proper_string(Isabelle_System.getenv("JEDIT_LOGIC_ANCESTOR")) |
58 def logic_requirements: Boolean = Isabelle_System.getenv("JEDIT_LOGIC_REQUIREMENTS") == "true" |
58 def logic_requirements: Boolean = Isabelle_System.getenv("JEDIT_LOGIC_REQUIREMENTS") == "true" |
59 def logic_focus: Boolean = Isabelle_System.getenv("JEDIT_LOGIC_FOCUS") == "true" |
|
60 def logic_include_sessions: List[String] = |
59 def logic_include_sessions: List[String] = |
61 space_explode(':', Isabelle_System.getenv("JEDIT_INCLUDE_SESSIONS")) |
60 space_explode(':', Isabelle_System.getenv("JEDIT_INCLUDE_SESSIONS")) |
62 |
61 |
63 def logic_info(options: Options): Option[Sessions.Info] = |
62 def logic_info(options: Options): Option[Sessions.Info] = |
64 try { sessions_structure(options).get(logic_name(options)) } |
63 try { sessions_structure(options).get(logic_name(options)) } |
122 Sessions.base_info(options, |
121 Sessions.base_info(options, |
123 dirs = JEdit_Sessions.session_dirs(), |
122 dirs = JEdit_Sessions.session_dirs(), |
124 include_sessions = logic_include_sessions, |
123 include_sessions = logic_include_sessions, |
125 session = logic_name(options), |
124 session = logic_name(options), |
126 session_ancestor = logic_ancestor, |
125 session_ancestor = logic_ancestor, |
127 session_requirements = logic_requirements, |
126 session_requirements = logic_requirements) |
128 session_focus = logic_focus, |
|
129 all_known = !logic_focus) |
|
130 |
127 |
131 def session_build( |
128 def session_build( |
132 options: Options, progress: Progress = No_Progress, no_build: Boolean = false): Int = |
129 options: Options, progress: Progress = No_Progress, no_build: Boolean = false): Int = |
133 { |
130 { |
134 Build.build(session_options(options), progress = progress, build_heap = true, |
131 Build.build(session_options(options), progress = progress, build_heap = true, |