diff -r 686f828548ef -r 8c3e1f73953d src/Pure/General/markup.ML
--- a/src/Pure/General/markup.ML	Wed Dec 30 20:25:35 2009 +0100
+++ b/src/Pure/General/markup.ML	Wed Dec 30 21:32:25 2009 +0100
@@ -105,7 +105,6 @@
   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
@@ -307,8 +306,6 @@
 
 (* interactive documents *)
 
-val (editsN, edits) = markup_string "edits" idN;
-
 val editN = "edit";
 fun edit id state_id : T = (editN, [(idN, id), (stateN, state_id)]);