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 68822 253f04c1e814
parent 68770 add44e2b8cb0
child 68871 f5c76072db55 
--- a/src/Pure/PIDE/markup.scala	Mon Aug 27 19:12:48 2018 +0200
+++ b/src/Pure/PIDE/markup.scala	Mon Aug 27 19:29:07 2018 +0200
@@ -319,8 +319,6 @@
   val ML_CHAR = "ML_char"
   val ML_STRING = "ML_string"
   val ML_COMMENT = "ML_comment"
-  val SML_STRING = "SML_string"
-  val SML_COMMENT = "SML_comment"
 
   val ML_DEF = "ML_def"
   val ML_OPEN = "ML_open"
isabelle