src/Tools/jEdit/src/dockables.xml
changeset 50299 f70b3712040f
parent 50143 4ff5d795ed08
child 50433 9131dadb2bf7
     1.1 --- a/src/Tools/jEdit/src/dockables.xml	Fri Nov 30 21:28:35 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/dockables.xml	Fri Nov 30 21:30:24 2012 +0100
     1.3 @@ -2,8 +2,8 @@
     1.4  <!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
     1.5  
     1.6  <DOCKABLES>
     1.7 -	<DOCKABLE NAME="isabelle-session" MOVABLE="TRUE">
     1.8 -		new isabelle.jedit.Session_Dockable(view, position);
     1.9 +	<DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE">
    1.10 +		new isabelle.jedit.Theories_Dockable(view, position);
    1.11  	</DOCKABLE>
    1.12  	<DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE">
    1.13  		new isabelle.jedit.Syslog_Dockable(view, position);