isabelle: src/Tools/jEdit/plugin/actions.xml@9b12b0824bfe (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>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	13	<ACTION NAME="isabelle.show-output">
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	14	<CODE>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	15	wm.addDockableWindow("isabelle-output");
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	16	</CODE>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	17	</ACTION>
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	18	<ACTION NAME="isabelle.show-protocol">
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-protocol");
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>
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	23	</ACTIONS>

author	haftmann
	Thu, 14 Jan 2010 17:47:39 +0100
changeset 34900	9b12b0824bfe
parent 34814	0b788ea1ceac
child 37065	2a73253b5898
permissions	-rw-r--r--