src/Pure/System/isabelle_process.scala
changeset 67052 caf87d4b9b61
parent 65415 8cd54b18b68b
child 67178 70576478bda9
     1.1 --- a/src/Pure/System/isabelle_process.scala	Sat Nov 11 18:41:08 2017 +0000
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Sun Nov 12 12:41:05 2017 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4      modes: List[String] = Nil,
     1.5      cwd: JFile = null,
     1.6      env: Map[String, String] = Isabelle_System.settings(),
     1.7 -    sessions: Option[Sessions.T] = None,
     1.8 +    sessions: Option[Sessions.Structure] = None,
     1.9      store: Sessions.Store = Sessions.store(),
    1.10      phase_changed: Session.Phase => Unit = null)
    1.11    {
    1.12 @@ -43,7 +43,7 @@
    1.13      env: Map[String, String] = Isabelle_System.settings(),
    1.14      receiver: Prover.Receiver = Console.println(_),
    1.15      xml_cache: XML.Cache = new XML.Cache(),
    1.16 -    sessions: Option[Sessions.T] = None,
    1.17 +    sessions: Option[Sessions.Structure] = None,
    1.18      store: Sessions.Store = Sessions.store()): Prover =
    1.19    {
    1.20      val channel = System_Channel()