src/Pure/PIDE/markup.scala
changeset 53055 0fe8a9972eda
parent 52877 9a26ec5739dd
child 53378 07990ba8c0ea
     1.1 --- a/src/Pure/PIDE/markup.scala	Sat Aug 17 22:08:21 2013 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Sat Aug 17 22:15:45 2013 +0200
     1.3 @@ -353,6 +353,9 @@
     1.4        }
     1.5    }
     1.6  
     1.7 +  val SLEDGEHAMMER_PROVERS = "sledgehammer_provers"
     1.8 +  val Sledgehammer_Provers: Properties.T = List((FUNCTION, SLEDGEHAMMER_PROVERS))
     1.9 +
    1.10    object ML_Statistics
    1.11    {
    1.12      def unapply(props: Properties.T): Option[Properties.T] =