--- a/src/Pure/PIDE/protocol.ML Mon Sep 16 15:30:38 2019 +0200
+++ b/src/Pure/PIDE/protocol.ML Mon Sep 16 16:00:10 2019 +0200
@@ -20,7 +20,7 @@
val _ =
Isabelle_Process.protocol_command "Prover.init_session_base"
(fn [session_positions_yxml, session_directories_yxml, doc_names_yxml, global_theories_yxml,
- loaded_theories_yxml, known_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;
@@ -32,8 +32,7 @@
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,
- known_theories = decode_table known_theories_yxml}
+ loaded_theories = decode_list loaded_theories_yxml}
end);
val _ =