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 56202 0a11d17eeeff
parent 55919 2eb8c13339a5
child 56278 2576d3a40ed6 
--- a/src/Pure/PIDE/markup.scala	Tue Mar 18 11:27:09 2014 +0100
+++ b/src/Pure/PIDE/markup.scala	Tue Mar 18 12:25:17 2014 +0100
@@ -216,6 +216,7 @@
   val KEYWORD2 = "keyword2"
   val KEYWORD3 = "keyword3"
   val QUASI_KEYWORD = "quasi_keyword"
+  val IMPROPER = "improper"
   val OPERATOR = "operator"
   val STRING = "string"
   val ALTSTRING = "altstring"
isabelle