--- a/src/Pure/PIDE/protocol.ML Wed Apr 12 19:56:47 2017 +0200
+++ b/src/Pure/PIDE/protocol.ML Wed Apr 12 21:13:43 2017 +0200
@@ -18,6 +18,19 @@
Isabelle_Process.init_options_interactive ()));
val _ =
+ Isabelle_Process.protocol_command "Prover.session_base"
+ (fn [default_qualifier, 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;
+ in
+ Resources.set_session_base
+ {default_qualifier = default_qualifier,
+ global_theories = decode_table global_theories_yxml,
+ loaded_theories = decode_table loaded_theories_yxml,
+ known_theories = decode_table known_theories_yxml}
+ end);
+
+val _ =
Isabelle_Process.protocol_command "Document.define_blob"
(fn [digest, content] => Document.change_state (Document.define_blob digest content));