src/Pure/General/markup.ML

   val unprocessedN: string val unprocessed: T
   val runningN: string val running: string -> T
   val failedN: string val failed: T
   val finishedN: string val finished: T
   val disposedN: string val disposed: T
-  val editsN: string val edits: string -> 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 (disposedN, disposed) = markup_elem "disposed";
 
 
 (* interactive documents *)
 
-val (editsN, edits) = markup_string "edits" idN;
-
 val editN = "edit";
 fun edit id state_id : T = (editN, [(idN, id), (stateN, state_id)]);
 
 
 (* messages *)