src/Pure/PIDE/markup.scala
changeset 58545 30b75b7958d6
parent 58544 340f130b3d38
child 58853 f8715e7c1be6
     1.1 --- a/src/Pure/PIDE/markup.scala	Sun Oct 05 16:05:17 2014 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Sun Oct 05 17:58:36 2014 +0200
     1.3 @@ -123,6 +123,7 @@
     1.4    /* citation */
     1.5  
     1.6    val CITATION = "citation"
     1.7 +  val Citation = new Markup_String(CITATION, NAME)
     1.8  
     1.9  
    1.10    /* embedded languages */