author | wenzelm |
Wed, 17 Aug 2011 16:01:27 +0200 | |
changeset 44238 | 36120feb70ed |
parent 43286 | a319da4fbfb0 |
child 44864 | e50557cb0eb6 |
permissions | -rw-r--r-- |
34760 | 1 |
<?xml version="1.0"?> |
2 |
<!DOCTYPE ACTIONS SYSTEM "actions.dtd"> |
|
3 |
||
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
4 |
<ACTIONS> |
39515 | 5 |
<ACTION NAME="isabelle.session-panel"> |
6 |
<CODE> |
|
7 |
wm.addDockableWindow("isabelle-session"); |
|
8 |
</CODE> |
|
9 |
</ACTION> |
|
39617 | 10 |
<ACTION NAME="isabelle.output-panel"> |
34760 | 11 |
<CODE> |
34773 | 12 |
wm.addDockableWindow("isabelle-output"); |
34760 | 13 |
</CODE> |
14 |
</ACTION> |
|
39617 | 15 |
<ACTION NAME="isabelle.raw-output-panel"> |
37065
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
16 |
<CODE> |
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
17 |
wm.addDockableWindow("isabelle-raw-output"); |
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
18 |
</CODE> |
2a73253b5898
separate event bus and dockable for raw output (stdout);
wenzelm
parents:
34814
diff
changeset
|
19 |
</ACTION> |
39617 | 20 |
<ACTION NAME="isabelle.protocol-panel"> |
34760 | 21 |
<CODE> |
34773 | 22 |
wm.addDockableWindow("isabelle-protocol"); |
34760 | 23 |
</CODE> |
24 |
</ACTION> |
|
44238
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
25 |
<ACTION NAME="isabelle.input-sub"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
26 |
<CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
27 |
isabelle.jedit.Isabelle.input_sub(textArea); |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
28 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
29 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
30 |
<ACTION NAME="isabelle.input-sup"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
31 |
<CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
32 |
isabelle.jedit.Isabelle.input_sup(textArea); |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
33 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
34 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
35 |
<ACTION NAME="isabelle.input-isub"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
36 |
<CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
37 |
isabelle.jedit.Isabelle.input_isub(textArea); |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
38 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
39 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
40 |
<ACTION NAME="isabelle.input-isup"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
41 |
<CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
42 |
isabelle.jedit.Isabelle.input_isup(textArea); |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
43 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
44 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
45 |
<ACTION NAME="isabelle.input-bsub"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
46 |
<CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
47 |
isabelle.jedit.Isabelle.input_bsub(textArea); |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
48 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
49 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
50 |
<ACTION NAME="isabelle.input-bsup"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
51 |
<CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
52 |
isabelle.jedit.Isabelle.input_bsup(textArea); |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
53 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
54 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
55 |
<ACTION NAME="isabelle.input-bold"> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
56 |
<CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
57 |
isabelle.jedit.Isabelle.input_bold(textArea); |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
58 |
</CODE> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
59 |
</ACTION> |
36120feb70ed
some convenience actions/shortcuts for control symbols;
wenzelm
parents:
43286
diff
changeset
|
60 |
|
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
61 |
</ACTIONS> |