--- a/src/Pure/PIDE/protocol.ML Sun Nov 15 16:51:58 2020 +0000
+++ b/src/Pure/PIDE/protocol.ML Mon Nov 16 13:11:15 2020 +0100
@@ -25,9 +25,10 @@
val _ =
Isabelle_Process.protocol_command "Prover.init_session"
- (fn [session_positions_yxml, session_directories_yxml, session_chapters_yxml,
+ (fn [html_symbols_yxml, session_positions_yxml, session_directories_yxml, session_chapters_yxml,
bibtex_entries_yxml, doc_names_yxml, global_theories_yxml, loaded_theories_yxml] =>
let
+ val decode_symbols = YXML.parse_body #> let open XML.Decode in list (pair string int) end;
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;
val decode_sessions =
@@ -36,7 +37,8 @@
YXML.parse_body #> let open XML.Decode in list (pair string (list string)) end;
in
Resources.init_session
- {session_positions = decode_sessions session_positions_yxml,
+ {html_symbols = decode_symbols html_symbols_yxml,
+ 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,