Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/isabelle_markup.scala
changeset 49473 ca7e2c21b104
parent 49418 c451856129cd
child 49554 7b7bd2d7661d 
--- 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 */
isabelle