| changeset 55557 | aa1adeca714b |
| parent 55316 | 885500f4aa6a |
| child 55558 | 298274c970b6 |
--- a/src/Tools/jEdit/src/actions.xml Tue Feb 18 18:51:03 2014 +0100 +++ b/src/Tools/jEdit/src/actions.xml Tue Feb 18 19:00:13 2014 +0100 @@ -42,9 +42,9 @@ wm.addDockableWindow("isabelle-raw-output"); </CODE> </ACTION> - <ACTION NAME="isabelle.simp-trace-panel"> + <ACTION NAME="isabelle.simplifier-trace-panel"> <CODE> - wm.addDockableWindow("isabelle-simp-trace"); + wm.addDockableWindow("isabelle-simplifier-trace"); </CODE> </ACTION> <ACTION NAME="isabelle.protocol-panel">