src/Tools/jEdit/src/dockables.xml
changeset 43286 a319da4fbfb0
parent 39515 57ceabb0bb8e
child 48014 63021e59cbf0
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/jEdit/src/dockables.xml	Wed Jun 08 21:40:54 2011 +0200
     1.3 @@ -0,0 +1,17 @@
     1.4 +<?xml version="1.0"?>
     1.5 +<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
     1.6 +
     1.7 +<DOCKABLES>
     1.8 +	<DOCKABLE NAME="isabelle-session" MOVABLE="TRUE">
     1.9 +		new isabelle.jedit.Session_Dockable(view, position);
    1.10 +	</DOCKABLE>
    1.11 +	<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
    1.12 +		new isabelle.jedit.Output_Dockable(view, position);
    1.13 +	</DOCKABLE>
    1.14 +	<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">
    1.15 +		new isabelle.jedit.Raw_Output_Dockable(view, position);
    1.16 +	</DOCKABLE>
    1.17 +	<DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE">
    1.18 +		new isabelle.jedit.Protocol_Dockable(view, position);
    1.19 +	</DOCKABLE>
    1.20 +</DOCKABLES>
    1.21 \ No newline at end of file