author | wenzelm |
Wed, 02 Apr 2014 13:03:01 +0200 | |
changeset 56360 | 1d122af2b11a |
parent 55558 | 298274c970b6 |
child 56879 | ee2b61f37ad9 |
permissions | -rw-r--r-- |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
1 |
<?xml version="1.0"?> |
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
2 |
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> |
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
3 |
|
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
4 |
<DOCKABLES> |
52445 | 5 |
<DOCKABLE NAME="isabelle-documentation" MOVABLE="TRUE"> |
6 |
new isabelle.jedit.Documentation_Dockable(view, position); |
|
7 |
</DOCKABLE> |
|
52846 | 8 |
<DOCKABLE NAME="isabelle-find" MOVABLE="TRUE"> |
9 |
new isabelle.jedit.Find_Dockable(view, position); |
|
10 |
</DOCKABLE> |
|
49726 | 11 |
<DOCKABLE NAME="isabelle-info" MOVABLE="TRUE"> |
12 |
new isabelle.jedit.Info_Dockable(view, position); |
|
13 |
</DOCKABLE> |
|
49570 | 14 |
<DOCKABLE NAME="isabelle-graphview" MOVABLE="TRUE"> |
15 |
new isabelle.jedit.Graphview_Dockable(view, position); |
|
49566
66cbf8bb4693
basic integration of graphview into document model;
wenzelm
parents:
49494
diff
changeset
|
16 |
</DOCKABLE> |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
17 |
<DOCKABLE NAME="isabelle-monitor" MOVABLE="TRUE"> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
18 |
new isabelle.jedit.Monitor_Dockable(view, position); |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
19 |
</DOCKABLE> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
20 |
<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE"> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
21 |
new isabelle.jedit.Output_Dockable(view, position); |
37065
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
22 |
</DOCKABLE> |
34773 | 23 |
<DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE"> |
24 |
new isabelle.jedit.Protocol_Dockable(view, position); |
|
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
25 |
</DOCKABLE> |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
26 |
<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE"> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
27 |
new isabelle.jedit.Raw_Output_Dockable(view, position); |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
28 |
</DOCKABLE> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
29 |
<DOCKABLE NAME="isabelle-simplifier-trace" MOVABLE="TRUE"> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
30 |
new isabelle.jedit.Simplifier_Trace_Dockable(view, position); |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
31 |
</DOCKABLE> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
32 |
<DOCKABLE NAME="isabelle-sledgehammer" MOVABLE="TRUE"> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
33 |
new isabelle.jedit.Sledgehammer_Dockable(view, position); |
50433
9131dadb2bf7
basic monitor panel, using the powerful jfreechart library;
wenzelm
parents:
50299
diff
changeset
|
34 |
</DOCKABLE> |
50143
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49726
diff
changeset
|
35 |
<DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE"> |
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49726
diff
changeset
|
36 |
new isabelle.jedit.Symbols_Dockable(view, position); |
4ff5d795ed08
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
immler
parents:
49726
diff
changeset
|
37 |
</DOCKABLE> |
55558
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
38 |
<DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE"> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
39 |
new isabelle.jedit.Syslog_Dockable(view, position); |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
40 |
</DOCKABLE> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
41 |
<DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE"> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
42 |
new isabelle.jedit.Theories_Dockable(view, position); |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
43 |
</DOCKABLE> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
44 |
<DOCKABLE NAME="isabelle-timing" MOVABLE="TRUE"> |
298274c970b6
more uniform treatment of dockables and their standard actions;
wenzelm
parents:
55557
diff
changeset
|
45 |
new isabelle.jedit.Timing_Dockable(view, position); |
55316
885500f4aa6a
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
Lars Hupel <lars.hupel@mytum.de>
parents:
53772
diff
changeset
|
46 |
</DOCKABLE> |
885500f4aa6a
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
Lars Hupel <lars.hupel@mytum.de>
parents:
53772
diff
changeset
|
47 |
</DOCKABLES> |