Mercurial Mercurial > repos > isabelle / comparison
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/markup.scala
changeset 58544 340f130b3d38
parent 58464 5e7fc9974aba
child 58545 30b75b7958d6
equal deleted inserted replaced
58543:9c1389befa56 58544:340f130b3d38 
   116 
   116 
   117 
   117 
   118   /* expression */
 
   118   /* expression */
 
   119 
   119 
   120   val EXPRESSION = "expression"
 
   120   val EXPRESSION = "expression"
 
       
   121 
       
   122 
       
   123   /* citation */
 
       
   124 
       
   125   val CITATION = "citation"
 
   121 
   126 
   122 
   127 
   123   /* embedded languages */
 
   128   /* embedded languages */
 
   124 
   129 
   125   val Symbols = new Properties.Boolean("symbols")
 
   130   val Symbols = new Properties.Boolean("symbols")
isabelle