isabelle: src/Tools/jEdit/plugin/actions.xml@57ceabb0bb8e (annotated)

34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	1	<?xml version="1.0"?>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	2	<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	3
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	4	<ACTIONS>
34652 5fe5e00ec430 gui element to set current document version immler@in.tum.de parents: 34462 diff changeset	5	<ACTION NAME="isabelle.activate">
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	6	<CODE>
34784 02959dcea756 split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea); wenzelm parents: 34773 diff changeset	7	isabelle.jedit.Isabelle.switch_active(view);
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	8	</CODE>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	9	<IS_SELECTED>
34784 02959dcea756 split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea); wenzelm parents: 34773 diff changeset	10	return isabelle.jedit.Isabelle.is_active(view);
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	11	</IS_SELECTED>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	12	</ACTION>
39515 57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 37065 diff changeset	13	<ACTION NAME="isabelle.session-panel">
57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 37065 diff changeset	14	<CODE>
57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 37065 diff changeset	15	wm.addDockableWindow("isabelle-session");
57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 37065 diff changeset	16	</CODE>
57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 37065 diff changeset	17	</ACTION>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	18	<ACTION NAME="isabelle.show-output">
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	19	<CODE>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	20	wm.addDockableWindow("isabelle-output");
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	21	</CODE>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	22	</ACTION>
37065 2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	23	<ACTION NAME="isabelle.show-raw-output">
2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	24	<CODE>
2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	25	wm.addDockableWindow("isabelle-raw-output");
2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	26	</CODE>
2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 34814 diff changeset	27	</ACTION>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	28	<ACTION NAME="isabelle.show-protocol">
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	29	<CODE>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	30	wm.addDockableWindow("isabelle-protocol");
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	31	</CODE>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	32	</ACTION>
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	33	</ACTIONS>

author	wenzelm
	Sat, 18 Sep 2010 14:28:42 +0200
changeset 39515	57ceabb0bb8e
parent 37065	2a73253b5898
child 39617	a58eba339d2b
permissions	-rw-r--r--