isabelle: src/Tools/jEdit/src/dockables.xml@6d04e2422769 (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>
50143 4ff5d795ed08 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; immler parents: 49726 diff changeset	29	<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	30	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	31	</DOCKABLE>
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	32	</DOCKABLES>

author	wenzelm
	Sun, 25 Nov 2012 18:47:33 +0100
changeset 50199	6d04e2422769
parent 50143	4ff5d795ed08
child 50299	f70b3712040f
permissions	-rw-r--r--