equal
deleted
inserted
replaced
1 <?xml version="1.0"?> |
|
2 <!DOCTYPE ACTIONS SYSTEM "actions.dtd"> |
|
3 |
|
4 <ACTIONS> |
|
5 <ACTION NAME="isabelle.session-panel"> |
|
6 <CODE> |
|
7 wm.addDockableWindow("isabelle-session"); |
|
8 </CODE> |
|
9 </ACTION> |
|
10 <ACTION NAME="isabelle.output-panel"> |
|
11 <CODE> |
|
12 wm.addDockableWindow("isabelle-output"); |
|
13 </CODE> |
|
14 </ACTION> |
|
15 <ACTION NAME="isabelle.raw-output-panel"> |
|
16 <CODE> |
|
17 wm.addDockableWindow("isabelle-raw-output"); |
|
18 </CODE> |
|
19 </ACTION> |
|
20 <ACTION NAME="isabelle.protocol-panel"> |
|
21 <CODE> |
|
22 wm.addDockableWindow("isabelle-protocol"); |
|
23 </CODE> |
|
24 </ACTION> |
|
25 </ACTIONS> |
|