Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/actions.xml
author wenzelm
Thu, 16 Jun 2011 22:05:40 +0200
changeset 43414 f0770743b7ec
parent 43286 a319da4fbfb0
child 44238 36120feb70ed
permissions -rw-r--r--
static token markup, based on outer syntax only; eliminated obsolete buffer.propertiesChanged (expensive due to remarking of full buffer etc.);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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>








39515






57ceabb0bb8e
basic setup for prover session panel;



wenzelm


parents: 
37065

diff
changeset




     5


	<ACTION NAME="isabelle.session-panel">













57ceabb0bb8e
basic setup for prover session panel;



wenzelm


parents: 
37065

diff
changeset




     6


		<CODE>













57ceabb0bb8e
basic setup for prover session panel;



wenzelm


parents: 
37065

diff
changeset




     7


			wm.addDockableWindow("isabelle-session");













57ceabb0bb8e
basic setup for prover session panel;



wenzelm


parents: 
37065

diff
changeset




     8


		</CODE>













57ceabb0bb8e
basic setup for prover session panel;



wenzelm


parents: 
37065

diff
changeset




     9


	</ACTION>








39617






a58eba339d2b
tuned panel names and actions;



wenzelm


parents: 
39515

diff
changeset




    10


	<ACTION NAME="isabelle.output-panel">








34760






dc7f5e0d9d27
misc modernization of names;



wenzelm


parents: 
34750

diff
changeset




    11


		<CODE>








34773






bb5d68f7fd5e
renamed "raw output" to "protocol";



wenzelm


parents: 
34760

diff
changeset




    12


			wm.addDockableWindow("isabelle-output");








34760






dc7f5e0d9d27
misc modernization of names;



wenzelm


parents: 
34750

diff
changeset




    13


		</CODE>













dc7f5e0d9d27
misc modernization of names;



wenzelm


parents: 
34750

diff
changeset




    14


	</ACTION>








39617






a58eba339d2b
tuned panel names and actions;



wenzelm


parents: 
39515

diff
changeset




    15


	<ACTION NAME="isabelle.raw-output-panel">








37065






2a73253b5898
separate event bus and dockable for raw output (stdout);



wenzelm


parents: 
34814

diff
changeset




    16


		<CODE>













2a73253b5898
separate event bus and dockable for raw output (stdout);



wenzelm


parents: 
34814

diff
changeset




    17


			wm.addDockableWindow("isabelle-raw-output");













2a73253b5898
separate event bus and dockable for raw output (stdout);



wenzelm


parents: 
34814

diff
changeset




    18


		</CODE>













2a73253b5898
separate event bus and dockable for raw output (stdout);



wenzelm


parents: 
34814

diff
changeset




    19


	</ACTION>








39617






a58eba339d2b
tuned panel names and actions;



wenzelm


parents: 
39515

diff
changeset




    20


	<ACTION NAME="isabelle.protocol-panel">








34760






dc7f5e0d9d27
misc modernization of names;



wenzelm


parents: 
34750

diff
changeset




    21


		<CODE>








34773






bb5d68f7fd5e
renamed "raw output" to "protocol";



wenzelm


parents: 
34760

diff
changeset




    22


			wm.addDockableWindow("isabelle-protocol");








34760






dc7f5e0d9d27
misc modernization of names;



wenzelm


parents: 
34750

diff
changeset




    23


		</CODE>













dc7f5e0d9d27
misc modernization of names;



wenzelm


parents: 
34750

diff
changeset




    24


	</ACTION>








34318






c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




    25


</ACTIONS>














isabelle