equal
deleted
inserted
replaced
18 </CODE> |
18 </CODE> |
19 </ACTION> |
19 </ACTION> |
20 <ACTION NAME="isabelle.output-panel"> |
20 <ACTION NAME="isabelle.output-panel"> |
21 <CODE> |
21 <CODE> |
22 wm.addDockableWindow("isabelle-output"); |
22 wm.addDockableWindow("isabelle-output"); |
|
23 </CODE> |
|
24 </ACTION> |
|
25 <ACTION NAME="isabelle.output2-panel"> |
|
26 <CODE> |
|
27 wm.addDockableWindow("isabelle-output2"); |
23 </CODE> |
28 </CODE> |
24 </ACTION> |
29 </ACTION> |
25 <ACTION NAME="isabelle.raw-output-panel"> |
30 <ACTION NAME="isabelle.raw-output-panel"> |
26 <CODE> |
31 <CODE> |
27 wm.addDockableWindow("isabelle-raw-output"); |
32 wm.addDockableWindow("isabelle-raw-output"); |