src/Pure/PIDE/protocol.ML
changeset 67472 bddfa23a4ea9
parent 67219 81e9804b2014
child 67493 c4e9e0c50487
     1.1 --- a/src/Pure/PIDE/protocol.ML	Fri Jan 19 14:55:00 2018 +0100
     1.2 +++ b/src/Pure/PIDE/protocol.ML	Fri Jan 19 14:55:46 2018 +0100
     1.3 @@ -19,13 +19,15 @@
     1.4  
     1.5  val _ =
     1.6    Isabelle_Process.protocol_command "Prover.init_session_base"
     1.7 -    (fn [sessions_yxml, global_theories_yxml, loaded_theories_yxml, known_theories_yxml] =>
     1.8 +    (fn [sessions_yxml, doc_names_yxml, global_theories_yxml, loaded_theories_yxml,
     1.9 +          known_theories_yxml] =>
    1.10        let
    1.11          val decode_table = YXML.parse_body #> let open XML.Decode in list (pair string string) end;
    1.12          val decode_list = YXML.parse_body #> let open XML.Decode in list string end;
    1.13        in
    1.14          Resources.init_session_base
    1.15            {sessions = decode_list sessions_yxml,
    1.16 +           doc_names = decode_list doc_names_yxml,
    1.17             global_theories = decode_table global_theories_yxml,
    1.18             loaded_theories = decode_list loaded_theories_yxml,
    1.19             known_theories = decode_table known_theories_yxml}