isabelle: src/Tools/jEdit/src/dockables.xml@885500f4aa6a (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>
50299 f70b3712040f renamed dockable "Prover Session" to "Theories"; wenzelm parents: 50143 diff changeset	5	<DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE">
f70b3712040f renamed dockable "Prover Session" to "Theories"; wenzelm parents: 50143 diff changeset	6	new isabelle.jedit.Theories_Dockable(view, position);
39515 57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 37065 diff changeset	7	</DOCKABLE>
51533 3f6280aedbcc dockable window for timing information; wenzelm parents: 50433 diff changeset	8	<DOCKABLE NAME="isabelle-timing" MOVABLE="TRUE">
3f6280aedbcc dockable window for timing information; wenzelm parents: 50433 diff changeset	9	new isabelle.jedit.Timing_Dockable(view, position);
3f6280aedbcc dockable window for timing information; wenzelm parents: 50433 diff changeset	10	</DOCKABLE>
48021 d899be1cfe6d separate syslog dockable -- discontinued tendency of sub-window management via tabs; wenzelm parents: 48014 diff changeset	11	<DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE">
d899be1cfe6d separate syslog dockable -- discontinued tendency of sub-window management via tabs; wenzelm parents: 48014 diff changeset	12	new isabelle.jedit.Syslog_Dockable(view, position);
d899be1cfe6d separate syslog dockable -- discontinued tendency of sub-window management via tabs; wenzelm parents: 48014 diff changeset	13	</DOCKABLE>
52445 18a720984855 dockable window for Isabelle documentation; wenzelm parents: 51533 diff changeset	14	<DOCKABLE NAME="isabelle-documentation" MOVABLE="TRUE">
18a720984855 dockable window for Isabelle documentation; wenzelm parents: 51533 diff changeset	15	new isabelle.jedit.Documentation_Dockable(view, position);
18a720984855 dockable window for Isabelle documentation; wenzelm parents: 51533 diff changeset	16	</DOCKABLE>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34768 diff changeset	17	<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34768 diff changeset	18	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	19	</DOCKABLE>
52846 82ac963c68cb dockable window for "find" dialog (GUI only); wenzelm parents: 52445 diff changeset	20	<DOCKABLE NAME="isabelle-find" MOVABLE="TRUE">
82ac963c68cb dockable window for "find" dialog (GUI only); wenzelm parents: 52445 diff changeset	21	new isabelle.jedit.Find_Dockable(view, position);
82ac963c68cb dockable window for "find" dialog (GUI only); wenzelm parents: 52445 diff changeset	22	</DOCKABLE>
52908 3461985dcbc3 dockable window for Sledgehammer, based on asynchronous/parallel query operation; wenzelm parents: 52846 diff changeset	23	<DOCKABLE NAME="isabelle-sledgehammer" MOVABLE="TRUE">
3461985dcbc3 dockable window for Sledgehammer, based on asynchronous/parallel query operation; wenzelm parents: 52846 diff changeset	24	new isabelle.jedit.Sledgehammer_Dockable(view, position);
3461985dcbc3 dockable window for Sledgehammer, based on asynchronous/parallel query operation; wenzelm parents: 52846 diff changeset	25	</DOCKABLE>
49726 2074197dc274 detach tooltip as dockable window; wenzelm parents: 49611 diff changeset	26	<DOCKABLE NAME="isabelle-info" MOVABLE="TRUE">
2074197dc274 detach tooltip as dockable window; wenzelm parents: 49611 diff changeset	27	new isabelle.jedit.Info_Dockable(view, position);
2074197dc274 detach tooltip as dockable window; wenzelm parents: 49611 diff changeset	28	</DOCKABLE>
49570 2265456f6131 more uniform graphview terminology; wenzelm parents: 49566 diff changeset	29	<DOCKABLE NAME="isabelle-graphview" MOVABLE="TRUE">
2265456f6131 more uniform graphview terminology; wenzelm parents: 49566 diff changeset	30	new isabelle.jedit.Graphview_Dockable(view, position);
49566 66cbf8bb4693 basic integration of graphview into document model; wenzelm parents: 49494 diff changeset	31	</DOCKABLE>
37065 2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	32	<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">
2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	33	new isabelle.jedit.Raw_Output_Dockable(view, position);
2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	34	</DOCKABLE>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34768 diff changeset	35	<DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE">
bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34768 diff changeset	36	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	37	</DOCKABLE>
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50299 diff changeset	38	<DOCKABLE NAME="isabelle-monitor" MOVABLE="TRUE">
9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50299 diff changeset	39	new isabelle.jedit.Monitor_Dockable(view, position);
9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50299 diff changeset	40	</DOCKABLE>
50143 4ff5d795ed08 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; immler parents: 49726 diff changeset	41	<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	42	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	43	</DOCKABLE>
55316 885500f4aa6a interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state Lars Hupel <lars.hupel@mytum.de> parents: 53772 diff changeset	44	<DOCKABLE NAME="isabelle-simp-trace" MOVABLE="TRUE">
885500f4aa6a interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state Lars Hupel <lars.hupel@mytum.de> parents: 53772 diff changeset	45	new isabelle.jedit.Simplifier_Trace_Dockable(view, position);
885500f4aa6a interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state Lars Hupel <lars.hupel@mytum.de> parents: 53772 diff changeset	46	</DOCKABLE>
885500f4aa6a interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state Lars Hupel <lars.hupel@mytum.de> parents: 53772 diff changeset	47	</DOCKABLES>

author	Lars Hupel <lars.hupel@mytum.de>
	Tue, 04 Feb 2014 09:04:59 +0000
changeset 55316	885500f4aa6a
parent 53772	30de372ca56f
child 55557	aa1adeca714b
permissions	-rw-r--r--