src/Pure/PIDE/markup.scala
changeset 57597 037f3b251df5
parent 56864 0446c7ac2e32
child 57598 e2305b9d1534
     1.1 --- a/src/Pure/PIDE/markup.scala	Mon Jul 21 16:58:12 2014 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Mon Jul 21 17:37:22 2014 +0200
     1.3 @@ -465,6 +465,7 @@
     1.4    /* simplifier trace */
     1.5  
     1.6    val SIMP_TRACE = "simp_trace"
     1.7 +  val SIMP_TRACE_PANEL = "simp_trace_panel"
     1.8  
     1.9    val SIMP_TRACE_LOG = "simp_trace_log"
    1.10    val SIMP_TRACE_STEP = "simp_trace_step"