--- a/src/Pure/General/markup.scala Wed Dec 30 20:25:35 2009 +0100 +++ b/src/Pure/General/markup.scala Wed Dec 30 21:32:25 2009 +0100 @@ -153,7 +153,6 @@ /* interactive documents */ - val EDITS = "edits" val EDIT = "edit"