src/Pure/PIDE/protocol.scala
changeset 67471 bddfa23a4ea9
parent 67219 81e9804b2014
child 67493 c4e9e0c50487
     1.1 --- a/src/Pure/PIDE/protocol.scala	Fri Jan 19 14:55:00 2018 +0100
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Fri Jan 19 14:55:46 2018 +0100
     1.3 @@ -343,6 +343,7 @@
     1.4      val base = resources.session_base.standard_path
     1.5      protocol_command("Prover.init_session_base",
     1.6        encode_list(base.known.sessions.toList),
     1.7 +      encode_list(base.doc_names),
     1.8        encode_table(base.global_theories.toList),
     1.9        encode_list(base.loaded_theories.keys),
    1.10        encode_table(base.dest_known_theories))