equal
deleted
inserted
replaced
213 (case getenv "ISABELLE_PROCESS_OPTIONS" of |
213 (case getenv "ISABELLE_PROCESS_OPTIONS" of |
214 "" => () |
214 "" => () |
215 | name => |
215 | name => |
216 let val path = Path.explode name in |
216 let val path = Path.explode name in |
217 (case try File.read path of |
217 (case try File.read path of |
218 SOME s => |
218 SOME s => set_default (decode (YXML.parse_body s)) |
219 (set_default (decode (YXML.parse_body s)); |
|
220 if default_bool "ML_system_bootstrap" then () else ignore (try File.rm path)) |
|
221 | NONE => ()) |
219 | NONE => ()) |
222 end); |
220 end); |
223 |
221 |
224 val _ = load_default (); |
222 val _ = load_default (); |
225 val _ = ML_Print_Depth.set_print_depth (default_int "ML_print_depth"); |
223 val _ = ML_Print_Depth.set_print_depth (default_int "ML_print_depth"); |