isabelle: src/Tools/jEdit/jedit_main/dockables.xml@6898054035d6 (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">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	6	new isabelle.jedit_main.Debugger_Dockable(view, position);
60749 f727b99faaf7 skeleton for interactive debugger; wenzelm parents: 56879 diff changeset	7	</DOCKABLE>
75816 91f02f224b80 basic setup for document build panel; wenzelm parents: 73994 diff changeset	8	<DOCKABLE NAME="isabelle-document" MOVABLE="TRUE">
91f02f224b80 basic setup for document build panel; wenzelm parents: 73994 diff changeset	9	new isabelle.jedit_main.Document_Dockable(view, position);
91f02f224b80 basic setup for document build panel; wenzelm parents: 73994 diff changeset	10	</DOCKABLE>
52445 18a720984855 dockable window for Isabelle documentation; wenzelm parents: 51533 diff changeset	11	<DOCKABLE NAME="isabelle-documentation" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	12	new isabelle.jedit_main.Documentation_Dockable(view, position);
52445 18a720984855 dockable window for Isabelle documentation; wenzelm parents: 51533 diff changeset	13	</DOCKABLE>
49726 2074197dc274 detach tooltip as dockable window; wenzelm parents: 49611 diff changeset	14	<DOCKABLE NAME="isabelle-info" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	15	new isabelle.jedit_main.Info_Dockable(view, position);
49726 2074197dc274 detach tooltip as dockable window; wenzelm parents: 49611 diff changeset	16	</DOCKABLE>
49570 2265456f6131 more uniform graphview terminology; wenzelm parents: 49566 diff changeset	17	<DOCKABLE NAME="isabelle-graphview" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	18	new isabelle.jedit_main.Graphview_Dockable(view, position);
49566 66cbf8bb4693 basic integration of graphview into document model; wenzelm parents: 49494 diff changeset	19	</DOCKABLE>
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	20	<DOCKABLE NAME="isabelle-monitor" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	21	new isabelle.jedit_main.Monitor_Dockable(view, position);
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	22	</DOCKABLE>
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	23	<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	24	new isabelle.jedit_main.Output_Dockable(view, position);
37065 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">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	27	new isabelle.jedit_main.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>
56879 ee2b61f37ad9 renamed "Find" to "Query", with more general operations; wenzelm parents: 55558 diff changeset	29	<DOCKABLE NAME="isabelle-query" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	30	new isabelle.jedit_main.Query_Dockable(view, position);
56879 ee2b61f37ad9 renamed "Find" to "Query", with more general operations; wenzelm parents: 55558 diff changeset	31	</DOCKABLE>
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	32	<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	33	new isabelle.jedit_main.Raw_Output_Dockable(view, position);
55558 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-simplifier-trace" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	36	new isabelle.jedit_main.Simplifier_Trace_Dockable(view, position);
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	37	</DOCKABLE>
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	38	<DOCKABLE NAME="isabelle-sledgehammer" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	39	new isabelle.jedit_main.Sledgehammer_Dockable(view, position);
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50299 diff changeset	40	</DOCKABLE>
61208 19118f9b939d separate panel for proof state output; wenzelm parents: 60749 diff changeset	41	<DOCKABLE NAME="isabelle-state" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	42	new isabelle.jedit_main.State_Dockable(view, position);
61208 19118f9b939d separate panel for proof state output; wenzelm parents: 60749 diff changeset	43	</DOCKABLE>
50143 4ff5d795ed08 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; immler parents: 49726 diff changeset	44	<DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	45	new isabelle.jedit_main.Symbols_Dockable(view, position);
50143 4ff5d795ed08 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; immler parents: 49726 diff changeset	46	</DOCKABLE>
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	47	<DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	48	new isabelle.jedit_main.Syslog_Dockable(view, position);
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	49	</DOCKABLE>
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	50	<DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	51	new isabelle.jedit_main.Theories_Dockable(view, position);
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	52	</DOCKABLE>
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	53	<DOCKABLE NAME="isabelle-timing" MOVABLE="TRUE">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	54	new isabelle.jedit_main.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	55	</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	56	</DOCKABLES>

author	wenzelm
	Wed, 02 Apr 2025 23:18:12 +0200
changeset 82418	6898054035d6
parent 75816	91f02f224b80
permissions	-rw-r--r--