--- a/src/Pure/PIDE/protocol.ML Wed Sep 11 20:48:10 2019 +0200
+++ b/src/Pure/PIDE/protocol.ML Thu Sep 12 13:33:09 2019 +0200
@@ -19,8 +19,8 @@
val _ =
Isabelle_Process.protocol_command "Prover.init_session_base"
- (fn [sessions_yxml, doc_names_yxml, global_theories_yxml, loaded_theories_yxml,
- known_theories_yxml] =>
+ (fn [session_positions_yxml, session_directories_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;
@@ -28,7 +28,8 @@
YXML.parse_body #> let open XML.Decode in list (pair string properties) end;
in
Resources.init_session_base
- {sessions = decode_sessions sessions_yxml,
+ {session_positions = decode_sessions session_positions_yxml,
+ session_directories = decode_table session_directories_yxml,
docs = decode_list doc_names_yxml,
global_theories = decode_table global_theories_yxml,
loaded_theories = decode_list loaded_theories_yxml,