isabelle: src/Tools/jEdit/src/dockables.xml@f727b99faaf7 (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>
60749 f727b99faaf7 skeleton for interactive debugger; wenzelm parents: 56879 diff changeset	5	<DOCKABLE NAME="isabelle-debugger" MOVABLE="TRUE">
f727b99faaf7 skeleton for interactive debugger; wenzelm parents: 56879 diff changeset	6	new isabelle.jedit.Debugger_Dockable(view, position);
f727b99faaf7 skeleton for interactive debugger; wenzelm parents: 56879 diff changeset	7	</DOCKABLE>
52445 18a720984855 dockable window for Isabelle documentation; wenzelm parents: 51533 diff changeset	8	<DOCKABLE NAME="isabelle-documentation" MOVABLE="TRUE">
18a720984855 dockable window for Isabelle documentation; wenzelm parents: 51533 diff changeset	9	new isabelle.jedit.Documentation_Dockable(view, position);
18a720984855 dockable window for Isabelle documentation; wenzelm parents: 51533 diff changeset	10	</DOCKABLE>
49726 2074197dc274 detach tooltip as dockable window; wenzelm parents: 49611 diff changeset	11	<DOCKABLE NAME="isabelle-info" MOVABLE="TRUE">
2074197dc274 detach tooltip as dockable window; wenzelm parents: 49611 diff changeset	12	new isabelle.jedit.Info_Dockable(view, position);
2074197dc274 detach tooltip as dockable window; wenzelm parents: 49611 diff changeset	13	</DOCKABLE>
49570 2265456f6131 more uniform graphview terminology; wenzelm parents: 49566 diff changeset	14	<DOCKABLE NAME="isabelle-graphview" MOVABLE="TRUE">
2265456f6131 more uniform graphview terminology; wenzelm parents: 49566 diff changeset	15	new isabelle.jedit.Graphview_Dockable(view, position);
49566 66cbf8bb4693 basic integration of graphview into document model; wenzelm parents: 49494 diff changeset	16	</DOCKABLE>
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	17	<DOCKABLE NAME="isabelle-monitor" MOVABLE="TRUE">
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	18	new isabelle.jedit.Monitor_Dockable(view, position);
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	19	</DOCKABLE>
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	20	<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	21	new isabelle.jedit.Output_Dockable(view, position);
37065 2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	22	</DOCKABLE>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34768 diff changeset	23	<DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE">
bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34768 diff changeset	24	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	25	</DOCKABLE>
56879 ee2b61f37ad9 renamed "Find" to "Query", with more general operations; wenzelm parents: 55558 diff changeset	26	<DOCKABLE NAME="isabelle-query" MOVABLE="TRUE">
ee2b61f37ad9 renamed "Find" to "Query", with more general operations; wenzelm parents: 55558 diff changeset	27	new isabelle.jedit.Query_Dockable(view, position);
ee2b61f37ad9 renamed "Find" to "Query", with more general operations; wenzelm parents: 55558 diff changeset	28	</DOCKABLE>
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	29	<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	30	new isabelle.jedit.Raw_Output_Dockable(view, position);
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	31	</DOCKABLE>
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	32	<DOCKABLE NAME="isabelle-simplifier-trace" MOVABLE="TRUE">
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	33	new isabelle.jedit.Simplifier_Trace_Dockable(view, position);
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	34	</DOCKABLE>
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	35	<DOCKABLE NAME="isabelle-sledgehammer" MOVABLE="TRUE">
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	36	new isabelle.jedit.Sledgehammer_Dockable(view, position);
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50299 diff changeset	37	</DOCKABLE>
50143 4ff5d795ed08 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; immler parents: 49726 diff changeset	38	<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	39	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	40	</DOCKABLE>
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	41	<DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE">
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	42	new isabelle.jedit.Syslog_Dockable(view, position);
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	43	</DOCKABLE>
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	44	<DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE">
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	45	new isabelle.jedit.Theories_Dockable(view, position);
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	46	</DOCKABLE>
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	47	<DOCKABLE NAME="isabelle-timing" MOVABLE="TRUE">
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	48	new isabelle.jedit.Timing_Dockable(view, position);
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	49	</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	50	</DOCKABLES>

author	wenzelm
	Fri, 17 Jul 2015 21:40:47 +0200
changeset 60749	f727b99faaf7
parent 56879	ee2b61f37ad9
child 61208	19118f9b939d
permissions	-rw-r--r--