--- a/src/Pure/PIDE/protocol.ML Sun Nov 15 18:16:20 2020 +0100
+++ b/src/Pure/PIDE/protocol.ML Sun Nov 15 22:00:45 2020 +0100
@@ -25,8 +25,8 @@
val _ =
Isabelle_Process.protocol_command "Prover.init_session"
- (fn [session_positions_yxml, session_directories_yxml, bibtex_entries_yxml, doc_names_yxml,
- global_theories_yxml, loaded_theories_yxml] =>
+ (fn [session_positions_yxml, session_directories_yxml, session_chapters_yxml,
+ bibtex_entries_yxml, doc_names_yxml, global_theories_yxml, loaded_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;
@@ -38,6 +38,7 @@
Resources.init_session
{session_positions = decode_sessions session_positions_yxml,
session_directories = decode_table session_directories_yxml,
+ session_chapters = decode_table session_chapters_yxml,
bibtex_entries = decode_bibtex_entries bibtex_entries_yxml,
docs = decode_list doc_names_yxml,
global_theories = decode_table global_theories_yxml,