tuned signature;
authorwenzelm
Sat Mar 26 13:41:14 2016 +0100 (2016-03-26)
changeset 62713c18a68a3a1f1
parent 62712 22a17cec2efe
child 62714 63888e5f668b
tuned signature;
src/Pure/System/isabelle_process.ML
src/Pure/Tools/build.ML
     1.1 --- a/src/Pure/System/isabelle_process.ML	Sat Mar 26 12:35:11 2016 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Sat Mar 26 13:41:14 2016 +0100
     1.3 @@ -12,7 +12,6 @@
     1.4    val crashes: exn list Synchronized.var
     1.5    val init_protocol: string -> unit
     1.6    val init_options: unit -> unit
     1.7 -  val init_build_options: unit -> unit
     1.8    val init_protocol_options: Options.T -> unit
     1.9  end;
    1.10  
    1.11 @@ -216,10 +215,6 @@
    1.12    Multithreading.max_threads_update (Options.default_int "threads");
    1.13    Goal.parallel_proofs := Options.default_int "parallel_proofs");
    1.14  
    1.15 -fun init_build_options () =
    1.16 - (Options.load_default ();
    1.17 -  init_options ());
    1.18 -
    1.19  fun init_protocol_options options =
    1.20   (Options.set_default options;
    1.21    init_options ();
     2.1 --- a/src/Pure/Tools/build.ML	Sat Mar 26 12:35:11 2016 +0100
     2.2 +++ b/src/Pure/Tools/build.ML	Sat Mar 26 13:41:14 2016 +0100
     2.3 @@ -135,7 +135,8 @@
     2.4          end;
     2.5  
     2.6      val symbols = HTML.make_symbols symbol_codes;
     2.7 -    val _ = Isabelle_Process.init_build_options ();
     2.8 +    val _ = Options.load_default ();
     2.9 +    val _ = Isabelle_Process.init_options ();
    2.10  
    2.11      val _ = writeln ("\fSession.name = " ^ name);
    2.12      val _ =