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-debugger" MOVABLE="TRUE"> |
5 <DOCKABLE NAME="isabelle-debugger" MOVABLE="TRUE"> |
6 new isabelle.jedit.Debugger_Dockable(view, position); |
6 new isabelle.jedit_main.Debugger_Dockable(view, position); |
7 </DOCKABLE> |
7 </DOCKABLE> |
8 <DOCKABLE NAME="isabelle-documentation" MOVABLE="TRUE"> |
8 <DOCKABLE NAME="isabelle-documentation" MOVABLE="TRUE"> |
9 new isabelle.jedit.Documentation_Dockable(view, position); |
9 new isabelle.jedit_main.Documentation_Dockable(view, position); |
10 </DOCKABLE> |
10 </DOCKABLE> |
11 <DOCKABLE NAME="isabelle-info" MOVABLE="TRUE"> |
11 <DOCKABLE NAME="isabelle-info" MOVABLE="TRUE"> |
12 new isabelle.jedit.Info_Dockable(view, position); |
12 new isabelle.jedit_main.Info_Dockable(view, position); |
13 </DOCKABLE> |
13 </DOCKABLE> |
14 <DOCKABLE NAME="isabelle-graphview" MOVABLE="TRUE"> |
14 <DOCKABLE NAME="isabelle-graphview" MOVABLE="TRUE"> |
15 new isabelle.jedit.Graphview_Dockable(view, position); |
15 new isabelle.jedit_main.Graphview_Dockable(view, position); |
16 </DOCKABLE> |
16 </DOCKABLE> |
17 <DOCKABLE NAME="isabelle-monitor" MOVABLE="TRUE"> |
17 <DOCKABLE NAME="isabelle-monitor" MOVABLE="TRUE"> |
18 new isabelle.jedit.Monitor_Dockable(view, position); |
18 new isabelle.jedit_main.Monitor_Dockable(view, position); |
19 </DOCKABLE> |
19 </DOCKABLE> |
20 <DOCKABLE NAME="isabelle-output" MOVABLE="TRUE"> |
20 <DOCKABLE NAME="isabelle-output" MOVABLE="TRUE"> |
21 new isabelle.jedit.Output_Dockable(view, position); |
21 new isabelle.jedit_main.Output_Dockable(view, position); |
22 </DOCKABLE> |
22 </DOCKABLE> |
23 <DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE"> |
23 <DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE"> |
24 new isabelle.jedit.Protocol_Dockable(view, position); |
24 new isabelle.jedit_main.Protocol_Dockable(view, position); |
25 </DOCKABLE> |
25 </DOCKABLE> |
26 <DOCKABLE NAME="isabelle-query" MOVABLE="TRUE"> |
26 <DOCKABLE NAME="isabelle-query" MOVABLE="TRUE"> |
27 new isabelle.jedit.Query_Dockable(view, position); |
27 new isabelle.jedit_main.Query_Dockable(view, position); |
28 </DOCKABLE> |
28 </DOCKABLE> |
29 <DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE"> |
29 <DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE"> |
30 new isabelle.jedit.Raw_Output_Dockable(view, position); |
30 new isabelle.jedit_main.Raw_Output_Dockable(view, position); |
31 </DOCKABLE> |
31 </DOCKABLE> |
32 <DOCKABLE NAME="isabelle-simplifier-trace" MOVABLE="TRUE"> |
32 <DOCKABLE NAME="isabelle-simplifier-trace" MOVABLE="TRUE"> |
33 new isabelle.jedit.Simplifier_Trace_Dockable(view, position); |
33 new isabelle.jedit_main.Simplifier_Trace_Dockable(view, position); |
34 </DOCKABLE> |
34 </DOCKABLE> |
35 <DOCKABLE NAME="isabelle-sledgehammer" MOVABLE="TRUE"> |
35 <DOCKABLE NAME="isabelle-sledgehammer" MOVABLE="TRUE"> |
36 new isabelle.jedit.Sledgehammer_Dockable(view, position); |
36 new isabelle.jedit_main.Sledgehammer_Dockable(view, position); |
37 </DOCKABLE> |
37 </DOCKABLE> |
38 <DOCKABLE NAME="isabelle-state" MOVABLE="TRUE"> |
38 <DOCKABLE NAME="isabelle-state" MOVABLE="TRUE"> |
39 new isabelle.jedit.State_Dockable(view, position); |
39 new isabelle.jedit_main.State_Dockable(view, position); |
40 </DOCKABLE> |
40 </DOCKABLE> |
41 <DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE"> |
41 <DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE"> |
42 new isabelle.jedit.Symbols_Dockable(view, position); |
42 new isabelle.jedit_main.Symbols_Dockable(view, position); |
43 </DOCKABLE> |
43 </DOCKABLE> |
44 <DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE"> |
44 <DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE"> |
45 new isabelle.jedit.Syslog_Dockable(view, position); |
45 new isabelle.jedit_main.Syslog_Dockable(view, position); |
46 </DOCKABLE> |
46 </DOCKABLE> |
47 <DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE"> |
47 <DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE"> |
48 new isabelle.jedit.Theories_Dockable(view, position); |
48 new isabelle.jedit_main.Theories_Dockable(view, position); |
49 </DOCKABLE> |
49 </DOCKABLE> |
50 <DOCKABLE NAME="isabelle-timing" MOVABLE="TRUE"> |
50 <DOCKABLE NAME="isabelle-timing" MOVABLE="TRUE"> |
51 new isabelle.jedit.Timing_Dockable(view, position); |
51 new isabelle.jedit_main.Timing_Dockable(view, position); |
52 </DOCKABLE> |
52 </DOCKABLE> |
53 </DOCKABLES> |
53 </DOCKABLES> |