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/plugin/dockables.xml
author wenzelm
Tue, 08 Dec 2009 16:30:20 +0100
changeset 34760 dc7f5e0d9d27
parent 34750 8a630617faa9
child 34768 d8d321af1478
permissions -rw-r--r--
misc modernization of names;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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>








34760






dc7f5e0d9d27
misc modernization of names;



wenzelm


parents: 
34750

diff
changeset




     5


	<DOCKABLE NAME="isabelle-results" MOVABLE="TRUE">













dc7f5e0d9d27
misc modernization of names;



wenzelm


parents: 
34750

diff
changeset




     6


		new isabelle.jedit.Results_Dockable(view, position).peer();








34318






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



wenzelm


parents: 

diff
changeset




     7


	</DOCKABLE>








34760






dc7f5e0d9d27
misc modernization of names;



wenzelm


parents: 
34750

diff
changeset




     8


	<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">













dc7f5e0d9d27
misc modernization of names;



wenzelm


parents: 
34750

diff
changeset




     9


		new isabelle.jedit.Raw_Output_Dockable(view, position);








34318






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



wenzelm


parents: 

diff
changeset




    10


	</DOCKABLE>








34760






dc7f5e0d9d27
misc modernization of names;



wenzelm


parents: 
34750

diff
changeset




    11


	<DOCKABLE NAME="isabelle-history" MOVABLE="TRUE">













dc7f5e0d9d27
misc modernization of names;



wenzelm


parents: 
34750

diff
changeset




    12


		new isabelle.jedit.History_Dockable(view, position).peer();








34652






5fe5e00ec430
gui element to set current document version



immler@in.tum.de


parents: 
34422

diff
changeset




    13


	</DOCKABLE>








34318






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



wenzelm


parents: 

diff
changeset




    14


</DOCKABLES>














isabelle