equal
deleted
inserted
replaced
86 if (modes.isEmpty) Nil |
86 if (modes.isEmpty) Nil |
87 else List("Print_Mode.add_modes " + ML_Syntax.print_list(ML_Syntax.print_string_bytes)(modes)) |
87 else List("Print_Mode.add_modes " + ML_Syntax.print_list(ML_Syntax.print_string_bytes)(modes)) |
88 |
88 |
89 // options |
89 // options |
90 val isabelle_process_options = Isabelle_System.tmp_file("options") |
90 val isabelle_process_options = Isabelle_System.tmp_file("options") |
91 Isabelle_System.bash("chmod 600 " + File.bash_path(File.path(isabelle_process_options))) |
91 Isabelle_System.bash("chmod 600 " + File.bash_path(File.path(isabelle_process_options))).check |
92 File.write(isabelle_process_options, YXML.string_of_body(options.encode)) |
92 File.write(isabelle_process_options, YXML.string_of_body(options.encode)) |
93 val env_options = Map("ISABELLE_PROCESS_OPTIONS" -> File.standard_path(isabelle_process_options)) |
93 val env_options = Map("ISABELLE_PROCESS_OPTIONS" -> File.standard_path(isabelle_process_options)) |
94 val eval_options = if (heaps.isEmpty) Nil else List("Options.load_default ()") |
94 val eval_options = if (heaps.isEmpty) Nil else List("Options.load_default ()") |
95 |
95 |
96 // session base |
96 // session base |