--- a/src/Pure/PIDE/isabelle_markup.scala Thu Sep 20 20:27:47 2012 +0200
+++ b/src/Pure/PIDE/isabelle_markup.scala Thu Sep 20 21:31:56 2012 +0200
@@ -69,6 +69,8 @@
val Width = new Properties.Int("width")
val BREAK = "break"
+ val SEPARATOR = "separator"
+
/* hidden text */