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/General/markup.scala
changeset 42492 83c57d850049
parent 42378 d9fe47d21b41
child 43386 4e78dd88c64f 
--- a/src/Pure/General/markup.scala	Wed Apr 27 20:19:05 2011 +0200
+++ b/src/Pure/General/markup.scala	Wed Apr 27 20:28:27 2011 +0200
@@ -149,7 +149,6 @@
 
   val TCLASS = "tclass"
   val TYCON = "tycon"
-  val FIXED_DECL = "fixed_decl"
   val FIXED = "fixed"
   val CONST = "constant"
   val DYNAMIC_FACT = "dynamic_fact"
isabelle