src/Tools/jEdit/plugin/dockables.xml
changeset 34760 dc7f5e0d9d27
parent 34750 8a630617faa9
child 34768 d8d321af1478
     1.1 --- a/src/Tools/jEdit/plugin/dockables.xml	Tue Dec 08 14:49:01 2009 +0100
     1.2 +++ b/src/Tools/jEdit/plugin/dockables.xml	Tue Dec 08 16:30:20 2009 +0100
     1.3 @@ -1,15 +1,14 @@
     1.4  <?xml version="1.0"?>
     1.5 -
     1.6  <!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
     1.7  
     1.8  <DOCKABLES>
     1.9 -	<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
    1.10 -		new isabelle.jedit.OutputDockable(view, position);
    1.11 +	<DOCKABLE NAME="isabelle-results" MOVABLE="TRUE">
    1.12 +		new isabelle.jedit.Results_Dockable(view, position).peer();
    1.13  	</DOCKABLE>
    1.14 -	<DOCKABLE NAME="isabelle-state" MOVABLE="TRUE">
    1.15 -		new isabelle.jedit.StateViewDockable(view, position);
    1.16 +	<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">
    1.17 +		new isabelle.jedit.Raw_Output_Dockable(view, position);
    1.18  	</DOCKABLE>
    1.19 -	<DOCKABLE NAME="isabelle-browser" MOVABLE="TRUE">
    1.20 -		new isabelle.jedit.BrowseVersionDockable(view, position).peer();
    1.21 +	<DOCKABLE NAME="isabelle-history" MOVABLE="TRUE">
    1.22 +		new isabelle.jedit.History_Dockable(view, position).peer();
    1.23  	</DOCKABLE>
    1.24  </DOCKABLES>
    1.25 \ No newline at end of file