src/Tools/jEdit/src/dockables.xml
author wenzelm
Thu, 16 Jun 2011 22:05:40 +0200
changeset 43414 f0770743b7ec
parent 43286 a319da4fbfb0
child 48014 63021e59cbf0
permissions -rw-r--r--
static token markup, based on outer syntax only; eliminated obsolete buffer.propertiesChanged (expensive due to remarking of full buffer etc.);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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>
39515
57ceabb0bb8e basic setup for prover session panel;
wenzelm
parents: 37065
diff changeset
     5
	<DOCKABLE NAME="isabelle-session" MOVABLE="TRUE">
57ceabb0bb8e basic setup for prover session panel;
wenzelm
parents: 37065
diff changeset
     6
		new isabelle.jedit.Session_Dockable(view, position);
57ceabb0bb8e basic setup for prover session panel;
wenzelm
parents: 37065
diff changeset
     7
	</DOCKABLE>
34773
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34768
diff changeset
     8
	<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34768
diff changeset
     9
		new isabelle.jedit.Output_Dockable(view, position);
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    10
	</DOCKABLE>
37065
2a73253b5898 separate event bus and dockable for raw output (stdout);
wenzelm
parents: 34814
diff changeset
    11
	<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">
2a73253b5898 separate event bus and dockable for raw output (stdout);
wenzelm
parents: 34814
diff changeset
    12
		new isabelle.jedit.Raw_Output_Dockable(view, position);
2a73253b5898 separate event bus and dockable for raw output (stdout);
wenzelm
parents: 34814
diff changeset
    13
	</DOCKABLE>
34773
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34768
diff changeset
    14
	<DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE">
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34768
diff changeset
    15
		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
    16
	</DOCKABLE>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    17
</DOCKABLES>