equal
deleted
inserted
replaced
3 |
3 |
4 <ACTIONS> |
4 <ACTIONS> |
5 <ACTION NAME="isabelle.theories-panel"> |
5 <ACTION NAME="isabelle.theories-panel"> |
6 <CODE> |
6 <CODE> |
7 wm.addDockableWindow("isabelle-theories"); |
7 wm.addDockableWindow("isabelle-theories"); |
|
8 </CODE> |
|
9 </ACTION> |
|
10 <ACTION NAME="isabelle.timing-panel"> |
|
11 <CODE> |
|
12 wm.addDockableWindow("isabelle-timing"); |
8 </CODE> |
13 </CODE> |
9 </ACTION> |
14 </ACTION> |
10 <ACTION NAME="isabelle.syslog-panel"> |
15 <ACTION NAME="isabelle.syslog-panel"> |
11 <CODE> |
16 <CODE> |
12 wm.addDockableWindow("isabelle-syslog"); |
17 wm.addDockableWindow("isabelle-syslog"); |