1.1 --- a/src/Pure/General/markup.scala Mon Jan 04 18:55:32 2010 +0100
1.2 +++ b/src/Pure/General/markup.scala Mon Jan 04 18:56:36 2010 +0100
1.3 @@ -153,6 +153,7 @@
1.4
1.5 /* interactive documents */
1.6
1.7 + val ASSIGN = "assign"
1.8 val EDIT = "edit"
1.9
1.10