src/Pure/PIDE/protocol.scala
changeset 67219 81e9804b2014
parent 66873 9953ae603a23
child 67471 bddfa23a4ea9
     1.1 --- a/src/Pure/PIDE/protocol.scala	Sat Dec 16 20:02:40 2017 +0100
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Sat Dec 16 21:53:07 2017 +0100
     1.3 @@ -341,7 +341,8 @@
     1.4    def session_base(resources: Resources)
     1.5    {
     1.6      val base = resources.session_base.standard_path
     1.7 -    protocol_command("Prover.session_base",
     1.8 +    protocol_command("Prover.init_session_base",
     1.9 +      encode_list(base.known.sessions.toList),
    1.10        encode_table(base.global_theories.toList),
    1.11        encode_list(base.loaded_theories.keys),
    1.12        encode_table(base.dest_known_theories))