--- a/src/Pure/PIDE/protocol.ML Fri Jan 19 14:55:00 2018 +0100
+++ b/src/Pure/PIDE/protocol.ML Fri Jan 19 14:55:46 2018 +0100
@@ -19,13 +19,15 @@
val _ =
Isabelle_Process.protocol_command "Prover.init_session_base"
- (fn [sessions_yxml, global_theories_yxml, loaded_theories_yxml, known_theories_yxml] =>
+ (fn [sessions_yxml, doc_names_yxml, global_theories_yxml, loaded_theories_yxml,
+ known_theories_yxml] =>
let
val decode_table = YXML.parse_body #> let open XML.Decode in list (pair string string) end;
val decode_list = YXML.parse_body #> let open XML.Decode in list string end;
in
Resources.init_session_base
{sessions = decode_list sessions_yxml,
+ doc_names = decode_list doc_names_yxml,
global_theories = decode_table global_theories_yxml,
loaded_theories = decode_list loaded_theories_yxml,
known_theories = decode_table known_theories_yxml}