210 import XML.Encode._ |
210 import XML.Encode._ |
211 pair(list(pair(string, int)), pair(list(properties), pair(bool, pair(bool, |
211 pair(list(pair(string, int)), pair(list(properties), pair(bool, pair(bool, |
212 pair(Path.encode, pair(list(pair(Path.encode, Path.encode)), pair(string, |
212 pair(Path.encode, pair(list(pair(Path.encode, Path.encode)), pair(string, |
213 pair(string, pair(string, pair(string, pair(Path.encode, |
213 pair(string, pair(string, pair(string, pair(Path.encode, |
214 pair(list(pair(Options.encode, list(pair(string, properties)))), |
214 pair(list(pair(Options.encode, list(pair(string, properties)))), |
215 pair(list(string), pair(list(pair(string, string)), pair(list(string), |
215 pair(list(string), pair(list(string), pair(list(pair(string, string)), |
216 pair(list(pair(string, string)), list(string)))))))))))))))))( |
216 pair(list(string), pair(list(pair(string, string)), list(string))))))))))))))))))( |
217 (Symbol.codes, (command_timings, (do_output, (verbose, |
217 (Symbol.codes, (command_timings, (do_output, (verbose, |
218 (store.browser_info, (info.document_files, (File.standard_path(graph_file), |
218 (store.browser_info, (info.document_files, (File.standard_path(graph_file), |
219 (parent, (info.chapter, (name, (Path.current, |
219 (parent, (info.chapter, (name, (Path.current, |
220 (info.theories, (base.known.sessions.toList, |
220 (info.theories, (base.known.sessions.toList, (base.doc_names, |
221 (base.global_theories.toList, |
221 (base.global_theories.toList, (base.loaded_theories.keys, (base.dest_known_theories, |
222 (base.loaded_theories.keys, |
222 info.bibtex_entries.map(_.info))))))))))))))))))) |
223 (base.dest_known_theories, |
|
224 info.bibtex_entries.map(_.info)))))))))))))))))) |
|
225 }) |
223 }) |
226 |
224 |
227 val env = |
225 val env = |
228 Isabelle_System.settings() + |
226 Isabelle_System.settings() + |
229 ("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString) |
227 ("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString) |