equal
deleted
inserted
replaced
12 new isabelle.jedit.README_Dockable(view, position); |
12 new isabelle.jedit.README_Dockable(view, position); |
13 </DOCKABLE> |
13 </DOCKABLE> |
14 <DOCKABLE NAME="isabelle-output" MOVABLE="TRUE"> |
14 <DOCKABLE NAME="isabelle-output" MOVABLE="TRUE"> |
15 new isabelle.jedit.Output_Dockable(view, position); |
15 new isabelle.jedit.Output_Dockable(view, position); |
16 </DOCKABLE> |
16 </DOCKABLE> |
17 <DOCKABLE NAME="isabelle-output2" MOVABLE="TRUE"> |
17 <DOCKABLE NAME="isabelle-output1" MOVABLE="TRUE"> |
18 new isabelle.jedit.Output2_Dockable(view, position); |
18 new isabelle.jedit.Output1_Dockable(view, position); |
19 </DOCKABLE> |
19 </DOCKABLE> |
20 <DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE"> |
20 <DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE"> |
21 new isabelle.jedit.Raw_Output_Dockable(view, position); |
21 new isabelle.jedit.Raw_Output_Dockable(view, position); |
22 </DOCKABLE> |
22 </DOCKABLE> |
23 <DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE"> |
23 <DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE"> |