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/Isar/keyword.scala
changeset 58853 f8715e7c1be6
parent 58800 bfed1c26caed
child 58868 c5e1cce7ace3 
--- a/src/Pure/Isar/keyword.scala	Fri Oct 31 21:35:11 2014 +0100
+++ b/src/Pure/Isar/keyword.scala	Fri Oct 31 21:48:40 2014 +0100
@@ -12,7 +12,6 @@
   /* kinds */
 
   val MINOR = "minor"
-  val CONTROL = "control"
   val DIAG = "diag"
   val THY_BEGIN = "thy_begin"
   val THY_END = "thy_end"
@@ -46,7 +45,6 @@
   /* categories */
 
   val diag = Set(DIAG)
-  val control = Set(CONTROL)
 
   val heading = Set(THY_HEADING1, THY_HEADING2, THY_HEADING3, THY_HEADING4,
     PRF_HEADING2, PRF_HEADING3, PRF_HEADING4)
isabelle