--- a/src/Tools/jEdit/src/Isabelle.props Tue Feb 18 18:51:03 2014 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props Tue Feb 18 19:00:13 2014 +0100
@@ -36,8 +36,8 @@
isabelle.output-panel \
isabelle.protocol-panel \
isabelle.raw-output-panel \
+ isabelle.simplifier-trace-panel \
isabelle.sledgehammer-panel \
- isabelle.simp-trace-panel \
isabelle.symbols-panel \
isabelle.syslog-panel \
isabelle.theories-panel \
@@ -48,7 +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.simplifier-trace-panel.label=Simplifier Trace panel
isabelle.sledgehammer-panel.label=Sledgehammer panel
isabelle.symbols-panel.label=Symbols panel
isabelle.syslog-panel.label=Syslog panel
@@ -61,7 +61,7 @@
isabelle-info.title=Info
isabelle-monitor.title=Monitor
isabelle-output.title=Output
-isabelle-simp-trace.title=Simplifier trace
+isabelle-simplifier-trace.title=Simplifier Trace
isabelle-protocol.title=Protocol
isabelle-raw-output.title=Raw Output
isabelle-documentation.title=Documentation