isabelle: src/Tools/jEdit/plugin/actions.xml@dc7f5e0d9d27 (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>
34462 fefbd0421e4e merged immler@in.tum.de parents: 34460 34440 diff changeset	7	isabelle.jedit.Isabelle.plugin().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>
34440 561a6d19bd95 renamed object Plugin to Isabelle; wenzelm parents: 34432 diff changeset	10	return isabelle.jedit.Isabelle.plugin().is_active(view.getBuffer());
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>
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	13	<ACTION NAME="isabelle.show-results">
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	14	<CODE>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	15	wm.addDockableWindow("isabelle-results");
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	16	</CODE>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	17	</ACTION>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	18	<ACTION NAME="isabelle.show-raw-output">
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	19	<CODE>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	20	wm.addDockableWindow("isabelle-raw-output");
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	21	</CODE>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	22	</ACTION>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	23	<ACTION NAME="isabelle.show-history">
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	24	<CODE>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	25	wm.addDockableWindow("isabelle-history");
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	26	</CODE>
dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34750 diff changeset	27	</ACTION>
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	28	</ACTIONS>

author	wenzelm
	Tue, 08 Dec 2009 16:30:20 +0100
changeset 34760	dc7f5e0d9d27
parent 34750	8a630617faa9
child 34773	bb5d68f7fd5e
permissions	-rw-r--r--