src/Pure/PIDE/protocol.scala
changeset 66712 4c98c929a12a
parent 66668 6019cfb8256c
child 66717 67dbf5cdc056
     1.1 --- a/src/Pure/PIDE/protocol.scala	Thu Sep 28 11:53:55 2017 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Thu Sep 28 15:11:32 2017 +0200
     1.3 @@ -316,12 +316,18 @@
     1.4      Symbol.encode_yxml(list(pair(string, string))(table))
     1.5    }
     1.6  
     1.7 +  private def encode_list(lst: List[String]): String =
     1.8 +  {
     1.9 +    import XML.Encode._
    1.10 +    Symbol.encode_yxml(list(string)(lst))
    1.11 +  }
    1.12 +
    1.13    def session_base(resources: Resources)
    1.14    {
    1.15      val base = resources.session_base.standard_path
    1.16      protocol_command("Prover.session_base",
    1.17        encode_table(base.global_theories.toList),
    1.18 -      encode_table(base.loaded_theories.toList),
    1.19 +      encode_list(base.loaded_theories.toList),
    1.20        encode_table(base.dest_known_theories))
    1.21    }
    1.22