--- a/src/Pure/General/markup.scala Mon Aug 30 11:35:17 2010 +0200
+++ b/src/Pure/General/markup.scala Mon Aug 30 13:01:32 2010 +0200
@@ -226,7 +226,7 @@
/* messages */
val PID = "pid"
- val SERIAL = "serial"
+ val Serial = new Long_Property("serial")
val MESSAGE = "message"
val CLASS = "class"