diff -r 06f4bb9fdb85 -r 8fc3aeece219 src/Pure/General/markup.scala
--- a/src/Pure/General/markup.scala	Thu Jan 15 00:48:45 2009 +0100
+++ b/src/Pure/General/markup.scala	Thu Jan 15 11:53:49 2009 +0100
@@ -117,7 +117,12 @@
   val FAILED = "failed"
   val FINISHED = "finished"
   val DISPOSED = "disposed"
-  val COMMAND_STATE = "command_state"
+
+
+  /* interactive documents */
+
+  val EDITS = "edits"
+  val EDIT = "edit"
 
 
   /* messages */