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/markup.scala
changeset 74887 56247fdb8bbb
parent 74836 a97ec0954c50
child 75393 87ebf5a50283 
--- a/src/Pure/PIDE/markup.scala	Mon Dec 06 15:10:15 2021 +0100
+++ b/src/Pure/PIDE/markup.scala	Mon Dec 06 15:34:54 2021 +0100
@@ -433,7 +433,6 @@
   val OPERATOR = "operator"
   val STRING = "string"
   val ALT_STRING = "alt_string"
-  val VERBATIM = "verbatim"
   val CARTOUCHE = "cartouche"
   val COMMENT = "comment"
isabelle