src/Tools/jEdit/src/dockables.xml
author wenzelm
Fri Nov 30 21:30:24 2012 +0100 (2012-11-30)
changeset 50299 f70b3712040f
parent 50143 4ff5d795ed08
child 50433 9131dadb2bf7
permissions -rw-r--r--
renamed dockable "Prover Session" to "Theories";
more uniform Library.lowercase/uppercase;
wenzelm@34318
     1
<?xml version="1.0"?>
wenzelm@34318
     2
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
wenzelm@34318
     3
wenzelm@34318
     4
<DOCKABLES>
wenzelm@50299
     5
	<DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE">
wenzelm@50299
     6
		new isabelle.jedit.Theories_Dockable(view, position);
wenzelm@39515
     7
	</DOCKABLE>
wenzelm@48021
     8
	<DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE">
wenzelm@48021
     9
		new isabelle.jedit.Syslog_Dockable(view, position);
wenzelm@48021
    10
	</DOCKABLE>
wenzelm@48014
    11
	<DOCKABLE NAME="isabelle-readme" MOVABLE="TRUE">
wenzelm@48014
    12
		new isabelle.jedit.README_Dockable(view, position);
wenzelm@48014
    13
	</DOCKABLE>
wenzelm@34773
    14
	<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
wenzelm@34773
    15
		new isabelle.jedit.Output_Dockable(view, position);
wenzelm@34318
    16
	</DOCKABLE>
wenzelm@49726
    17
	<DOCKABLE NAME="isabelle-info" MOVABLE="TRUE">
wenzelm@49726
    18
		new isabelle.jedit.Info_Dockable(view, position);
wenzelm@49726
    19
	</DOCKABLE>
wenzelm@49570
    20
	<DOCKABLE NAME="isabelle-graphview" MOVABLE="TRUE">
wenzelm@49570
    21
		new isabelle.jedit.Graphview_Dockable(view, position);
wenzelm@49566
    22
	</DOCKABLE>
wenzelm@37065
    23
	<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">
wenzelm@37065
    24
		new isabelle.jedit.Raw_Output_Dockable(view, position);
wenzelm@37065
    25
	</DOCKABLE>
wenzelm@34773
    26
	<DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE">
wenzelm@34773
    27
		new isabelle.jedit.Protocol_Dockable(view, position);
wenzelm@34318
    28
	</DOCKABLE>
immler@50143
    29
	<DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE">
immler@50143
    30
		new isabelle.jedit.Symbols_Dockable(view, position);
immler@50143
    31
	</DOCKABLE>
wenzelm@34318
    32
</DOCKABLES>