changeset 57594 | 037f3b251df5 |
parent 56864 | 0446c7ac2e32 |
child 57595 | e2305b9d1534 |
--- a/src/Pure/PIDE/markup.scala Mon Jul 21 16:58:12 2014 +0200 +++ b/src/Pure/PIDE/markup.scala Mon Jul 21 17:37:22 2014 +0200 @@ -465,6 +465,7 @@ /* simplifier trace */ val SIMP_TRACE = "simp_trace" + val SIMP_TRACE_PANEL = "simp_trace_panel" val SIMP_TRACE_LOG = "simp_trace_log" val SIMP_TRACE_STEP = "simp_trace_step"