src/Pure/PIDE/isabelle_markup.ML
changeset 49566 66cbf8bb4693
parent 49554 7b7bd2d7661d
child 49674 dbadb4d03cbc
     1.1 --- a/src/Pure/PIDE/isabelle_markup.ML	Tue Sep 25 20:28:47 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.ML	Tue Sep 25 22:36:06 2012 +0200
     1.3 @@ -100,6 +100,7 @@
     1.4    val reportN: string val report: Markup.T
     1.5    val no_reportN: string val no_report: Markup.T
     1.6    val badN: string val bad: Markup.T
     1.7 +  val graphviewN: string
     1.8    val functionN: string
     1.9    val assign_execs: Properties.T
    1.10    val removed_versions: Properties.T
    1.11 @@ -296,6 +297,8 @@
    1.12  
    1.13  val (badN, bad) = markup_elem "bad";
    1.14  
    1.15 +val graphviewN = "graphview";
    1.16 +
    1.17  
    1.18  (* protocol message functions *)
    1.19