1 <?xml version="1.0"?> |
1 <?xml version="1.0"?> |
2 <!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> |
2 <!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> |
3 |
3 |
4 <DOCKABLES> |
4 <DOCKABLES> |
5 <DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE"> |
|
6 new isabelle.jedit.Theories_Dockable(view, position); |
|
7 </DOCKABLE> |
|
8 <DOCKABLE NAME="isabelle-timing" MOVABLE="TRUE"> |
|
9 new isabelle.jedit.Timing_Dockable(view, position); |
|
10 </DOCKABLE> |
|
11 <DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE"> |
|
12 new isabelle.jedit.Syslog_Dockable(view, position); |
|
13 </DOCKABLE> |
|
14 <DOCKABLE NAME="isabelle-documentation" MOVABLE="TRUE"> |
5 <DOCKABLE NAME="isabelle-documentation" MOVABLE="TRUE"> |
15 new isabelle.jedit.Documentation_Dockable(view, position); |
6 new isabelle.jedit.Documentation_Dockable(view, position); |
16 </DOCKABLE> |
7 </DOCKABLE> |
17 <DOCKABLE NAME="isabelle-output" MOVABLE="TRUE"> |
|
18 new isabelle.jedit.Output_Dockable(view, position); |
|
19 </DOCKABLE> |
|
20 <DOCKABLE NAME="isabelle-find" MOVABLE="TRUE"> |
8 <DOCKABLE NAME="isabelle-find" MOVABLE="TRUE"> |
21 new isabelle.jedit.Find_Dockable(view, position); |
9 new isabelle.jedit.Find_Dockable(view, position); |
22 </DOCKABLE> |
|
23 <DOCKABLE NAME="isabelle-sledgehammer" MOVABLE="TRUE"> |
|
24 new isabelle.jedit.Sledgehammer_Dockable(view, position); |
|
25 </DOCKABLE> |
10 </DOCKABLE> |
26 <DOCKABLE NAME="isabelle-info" MOVABLE="TRUE"> |
11 <DOCKABLE NAME="isabelle-info" MOVABLE="TRUE"> |
27 new isabelle.jedit.Info_Dockable(view, position); |
12 new isabelle.jedit.Info_Dockable(view, position); |
28 </DOCKABLE> |
13 </DOCKABLE> |
29 <DOCKABLE NAME="isabelle-graphview" MOVABLE="TRUE"> |
14 <DOCKABLE NAME="isabelle-graphview" MOVABLE="TRUE"> |
30 new isabelle.jedit.Graphview_Dockable(view, position); |
15 new isabelle.jedit.Graphview_Dockable(view, position); |
31 </DOCKABLE> |
16 </DOCKABLE> |
32 <DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE"> |
17 <DOCKABLE NAME="isabelle-monitor" MOVABLE="TRUE"> |
33 new isabelle.jedit.Raw_Output_Dockable(view, position); |
18 new isabelle.jedit.Monitor_Dockable(view, position); |
|
19 </DOCKABLE> |
|
20 <DOCKABLE NAME="isabelle-output" MOVABLE="TRUE"> |
|
21 new isabelle.jedit.Output_Dockable(view, position); |
34 </DOCKABLE> |
22 </DOCKABLE> |
35 <DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE"> |
23 <DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE"> |
36 new isabelle.jedit.Protocol_Dockable(view, position); |
24 new isabelle.jedit.Protocol_Dockable(view, position); |
37 </DOCKABLE> |
25 </DOCKABLE> |
38 <DOCKABLE NAME="isabelle-monitor" MOVABLE="TRUE"> |
26 <DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE"> |
39 new isabelle.jedit.Monitor_Dockable(view, position); |
27 new isabelle.jedit.Raw_Output_Dockable(view, position); |
|
28 </DOCKABLE> |
|
29 <DOCKABLE NAME="isabelle-simplifier-trace" MOVABLE="TRUE"> |
|
30 new isabelle.jedit.Simplifier_Trace_Dockable(view, position); |
|
31 </DOCKABLE> |
|
32 <DOCKABLE NAME="isabelle-sledgehammer" MOVABLE="TRUE"> |
|
33 new isabelle.jedit.Sledgehammer_Dockable(view, position); |
40 </DOCKABLE> |
34 </DOCKABLE> |
41 <DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE"> |
35 <DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE"> |
42 new isabelle.jedit.Symbols_Dockable(view, position); |
36 new isabelle.jedit.Symbols_Dockable(view, position); |
43 </DOCKABLE> |
37 </DOCKABLE> |
44 <DOCKABLE NAME="isabelle-simplifier-trace" MOVABLE="TRUE"> |
38 <DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE"> |
45 new isabelle.jedit.Simplifier_Trace_Dockable(view, position); |
39 new isabelle.jedit.Syslog_Dockable(view, position); |
|
40 </DOCKABLE> |
|
41 <DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE"> |
|
42 new isabelle.jedit.Theories_Dockable(view, position); |
|
43 </DOCKABLE> |
|
44 <DOCKABLE NAME="isabelle-timing" MOVABLE="TRUE"> |
|
45 new isabelle.jedit.Timing_Dockable(view, position); |
46 </DOCKABLE> |
46 </DOCKABLE> |
47 </DOCKABLES> |
47 </DOCKABLES> |