src/Pure/PIDE/protocol.ML
changeset 67219 81e9804b2014
parent 66712 4c98c929a12a
child 67471 bddfa23a4ea9
     1.1 --- a/src/Pure/PIDE/protocol.ML	Sat Dec 16 20:02:40 2017 +0100
     1.2 +++ b/src/Pure/PIDE/protocol.ML	Sat Dec 16 21:53:07 2017 +0100
     1.3 @@ -18,14 +18,15 @@
     1.4         Isabelle_Process.init_options_interactive ()));
     1.5  
     1.6  val _ =
     1.7 -  Isabelle_Process.protocol_command "Prover.session_base"
     1.8 -    (fn [global_theories_yxml, loaded_theories_yxml, known_theories_yxml] =>
     1.9 +  Isabelle_Process.protocol_command "Prover.init_session_base"
    1.10 +    (fn [sessions_yxml, global_theories_yxml, loaded_theories_yxml, known_theories_yxml] =>
    1.11        let
    1.12          val decode_table = YXML.parse_body #> let open XML.Decode in list (pair string string) end;
    1.13          val decode_list = YXML.parse_body #> let open XML.Decode in list string end;
    1.14        in
    1.15          Resources.init_session_base
    1.16 -          {global_theories = decode_table global_theories_yxml,
    1.17 +          {sessions = decode_list sessions_yxml,
    1.18 +           global_theories = decode_table global_theories_yxml,
    1.19             loaded_theories = decode_list loaded_theories_yxml,
    1.20             known_theories = decode_table known_theories_yxml}
    1.21        end);