src/Pure/PIDE/isabelle_markup.scala
changeset 49566 66cbf8bb4693
parent 49554 7b7bd2d7661d
child 49674 dbadb4d03cbc
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Tue Sep 25 20:28:47 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Tue Sep 25 22:36:06 2012 +0200
     1.3 @@ -254,6 +254,8 @@
     1.4  
     1.5    val BAD = "bad"
     1.6  
     1.7 +  val GRAPHVIEW = "graphview"
     1.8 +
     1.9  
    1.10    /* protocol message functions */
    1.11