isabelle: src/Tools/jEdit/src/dockables.xml@2074197dc274 (annotated)

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>
48021 d899be1cfe6d separate syslog dockable -- discontinued tendency of sub-window management via tabs; wenzelm parents: 48014 diff changeset	8	<DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE">
d899be1cfe6d separate syslog dockable -- discontinued tendency of sub-window management via tabs; wenzelm parents: 48014 diff changeset	9	new isabelle.jedit.Syslog_Dockable(view, position);
d899be1cfe6d separate syslog dockable -- discontinued tendency of sub-window management via tabs; wenzelm parents: 48014 diff changeset	10	</DOCKABLE>
48014 63021e59cbf0 separate README dockable, which allows to make it more prominent first and remove it later; wenzelm parents: 43286 diff changeset	11	<DOCKABLE NAME="isabelle-readme" MOVABLE="TRUE">
63021e59cbf0 separate README dockable, which allows to make it more prominent first and remove it later; wenzelm parents: 43286 diff changeset	12	new isabelle.jedit.README_Dockable(view, position);
63021e59cbf0 separate README dockable, which allows to make it more prominent first and remove it later; wenzelm parents: 43286 diff changeset	13	</DOCKABLE>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34768 diff changeset	14	<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34768 diff changeset	15	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	16	</DOCKABLE>
49726 2074197dc274 detach tooltip as dockable window; wenzelm parents: 49611 diff changeset	17	<DOCKABLE NAME="isabelle-info" MOVABLE="TRUE">
2074197dc274 detach tooltip as dockable window; wenzelm parents: 49611 diff changeset	18	new isabelle.jedit.Info_Dockable(view, position);
2074197dc274 detach tooltip as dockable window; wenzelm parents: 49611 diff changeset	19	</DOCKABLE>
49570 2265456f6131 more uniform graphview terminology; wenzelm parents: 49566 diff changeset	20	<DOCKABLE NAME="isabelle-graphview" MOVABLE="TRUE">
2265456f6131 more uniform graphview terminology; wenzelm parents: 49566 diff changeset	21	new isabelle.jedit.Graphview_Dockable(view, position);
49566 66cbf8bb4693 basic integration of graphview into document model; wenzelm parents: 49494 diff changeset	22	</DOCKABLE>
37065 2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	23	<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">
2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	24	new isabelle.jedit.Raw_Output_Dockable(view, position);
2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	25	</DOCKABLE>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34768 diff changeset	26	<DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE">
bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34768 diff changeset	27	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	28	</DOCKABLE>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	29	</DOCKABLES>

author	wenzelm
	Sun, 07 Oct 2012 16:05:31 +0200
changeset 49726	2074197dc274
parent 49611	8e3c10eb6375
child 50143	4ff5d795ed08
permissions	-rw-r--r--