src/Pure/PIDE/session.scala

   }
 
 
   /* outlets */
 
-  val finished_theories = new Session.Outlet[Command.State](dispatcher)
+  val finished_theories = new Session.Outlet[Document.Snapshot](dispatcher)
   val command_timings = new Session.Outlet[Session.Command_Timing](dispatcher)
   val theory_timings = new Session.Outlet[Session.Theory_Timing](dispatcher)
   val runtime_statistics = new Session.Outlet[Session.Runtime_Statistics](dispatcher)
   val task_statistics = new Session.Outlet[Session.Task_Statistics](dispatcher)
   val global_options = new Session.Outlet[Session.Global_Options](dispatcher)

                 try { global_state.change(_.begin_theory(node_name, id, msg.text)) }
                 catch { case _: Document.State.Fail => bad_output() }
 
               case Markup.Finished_Theory(theory) =>
                 try {
-                  val st = global_state.change_result(_.end_theory(theory))
-                  finished_theories.post(st)
+                  val snapshot = global_state.change_result(_.end_theory(theory))
+                  finished_theories.post(snapshot)
                 }
                 catch { case _: Document.State.Fail => bad_output() }
 
               case List(Markup.Commands_Accepted.PROPERTY) =>
                 msg.text match {