src/Tools/jEdit/src/actions.xml
author wenzelm
Wed, 08 Jun 2011 21:40:54 +0200
changeset 43286 a319da4fbfb0
parent 39630 src/Tools/jEdit/plugin/actions.xml@44181423183a
child 44238 36120feb70ed
permissions -rw-r--r--
simplified directory structure;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34760
dc7f5e0d9d27 misc modernization of names;
wenzelm
parents: 34750
diff changeset
     1
<?xml version="1.0"?>
dc7f5e0d9d27 misc modernization of names;
wenzelm
parents: 34750
diff changeset
     2
<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
dc7f5e0d9d27 misc modernization of names;
wenzelm
parents: 34750
diff changeset
     3
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
     4
<ACTIONS>
39515
57ceabb0bb8e basic setup for prover session panel;
wenzelm
parents: 37065
diff changeset
     5
	<ACTION NAME="isabelle.session-panel">
57ceabb0bb8e basic setup for prover session panel;
wenzelm
parents: 37065
diff changeset
     6
		<CODE>
57ceabb0bb8e basic setup for prover session panel;
wenzelm
parents: 37065
diff changeset
     7
			wm.addDockableWindow("isabelle-session");
57ceabb0bb8e basic setup for prover session panel;
wenzelm
parents: 37065
diff changeset
     8
		</CODE>
57ceabb0bb8e basic setup for prover session panel;
wenzelm
parents: 37065
diff changeset
     9
	</ACTION>
39617
a58eba339d2b tuned panel names and actions;
wenzelm
parents: 39515
diff changeset
    10
	<ACTION NAME="isabelle.output-panel">
34760
dc7f5e0d9d27 misc modernization of names;
wenzelm
parents: 34750
diff changeset
    11
		<CODE>
34773
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34760
diff changeset
    12
			wm.addDockableWindow("isabelle-output");
34760
dc7f5e0d9d27 misc modernization of names;
wenzelm
parents: 34750
diff changeset
    13
		</CODE>
dc7f5e0d9d27 misc modernization of names;
wenzelm
parents: 34750
diff changeset
    14
	</ACTION>
39617
a58eba339d2b tuned panel names and actions;
wenzelm
parents: 39515
diff changeset
    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
a58eba339d2b tuned panel names and actions;
wenzelm
parents: 39515
diff changeset
    20
	<ACTION NAME="isabelle.protocol-panel">
34760
dc7f5e0d9d27 misc modernization of names;
wenzelm
parents: 34750
diff changeset
    21
		<CODE>
34773
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34760
diff changeset
    22
			wm.addDockableWindow("isabelle-protocol");
34760
dc7f5e0d9d27 misc modernization of names;
wenzelm
parents: 34750
diff changeset
    23
		</CODE>
dc7f5e0d9d27 misc modernization of names;
wenzelm
parents: 34750
diff changeset
    24
	</ACTION>
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    25
</ACTIONS>