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