src/Pure/General/markup.ML

   val failedN: string val failed: T
   val finishedN: string val finished: T
   val disposedN: string val disposed: T
   val editN: string val edit: string -> string -> T
   val pidN: string
-  val sessionN: string
   val promptN: string val prompt: T
   val readyN: string val ready: T
   val no_output: output * output
   val default_output: T -> output * output
   val add_mode: string -> (T -> output * output) -> unit

 
 
 (* messages *)
 
 val pidN = "pid";
-val sessionN = "session";
 
 val (promptN, prompt) = markup_elem "prompt";
 val (readyN, ready) = markup_elem "ready";