--- a/src/Tools/jEdit/src/Isabelle.props Tue Feb 04 01:35:48 2014 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props Tue Feb 04 09:04:59 2014 +0000
@@ -37,6 +37,7 @@
isabelle.protocol-panel \
isabelle.raw-output-panel \
isabelle.sledgehammer-panel \
+ isabelle.simp-trace-panel \
isabelle.symbols-panel \
isabelle.syslog-panel \
isabelle.theories-panel \
@@ -47,6 +48,7 @@
isabelle.output-panel.label=Output panel
isabelle.protocol-panel.label=Protocol panel
isabelle.raw-output-panel.label=Raw Output panel
+isabelle.simp-trace-panel.label=Simplifier trace panel
isabelle.sledgehammer-panel.label=Sledgehammer panel
isabelle.symbols-panel.label=Symbols panel
isabelle.syslog-panel.label=Syslog panel
@@ -59,6 +61,7 @@
isabelle-info.title=Info
isabelle-monitor.title=Monitor
isabelle-output.title=Output
+isabelle-simp-trace.title=Simplifier trace
isabelle-protocol.title=Protocol
isabelle-raw-output.title=Raw Output
isabelle-documentation.title=Documentation