src/Tools/jEdit/src/dockables.xml
author wenzelm
Mon Jan 09 20:26:59 2017 +0100 (2017-01-09)
changeset 64854 f5aa712e6250
parent 61208 19118f9b939d
permissions -rw-r--r--
tuned signature;
     1 <?xml version="1.0"?>
     2 <!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
     3 
     4 <DOCKABLES>
     5 	<DOCKABLE NAME="isabelle-debugger" MOVABLE="TRUE">
     6 		new isabelle.jedit.Debugger_Dockable(view, position);
     7 	</DOCKABLE>
     8 	<DOCKABLE NAME="isabelle-documentation" MOVABLE="TRUE">
     9 		new isabelle.jedit.Documentation_Dockable(view, position);
    10 	</DOCKABLE>
    11 	<DOCKABLE NAME="isabelle-info" MOVABLE="TRUE">
    12 		new isabelle.jedit.Info_Dockable(view, position);
    13 	</DOCKABLE>
    14 	<DOCKABLE NAME="isabelle-graphview" MOVABLE="TRUE">
    15 		new isabelle.jedit.Graphview_Dockable(view, position);
    16 	</DOCKABLE>
    17 	<DOCKABLE NAME="isabelle-monitor" MOVABLE="TRUE">
    18 		new isabelle.jedit.Monitor_Dockable(view, position);
    19 	</DOCKABLE>
    20 	<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
    21 		new isabelle.jedit.Output_Dockable(view, position);
    22 	</DOCKABLE>
    23 	<DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE">
    24 		new isabelle.jedit.Protocol_Dockable(view, position);
    25 	</DOCKABLE>
    26 	<DOCKABLE NAME="isabelle-query" MOVABLE="TRUE">
    27 		new isabelle.jedit.Query_Dockable(view, position);
    28 	</DOCKABLE>
    29 	<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">
    30 		new isabelle.jedit.Raw_Output_Dockable(view, position);
    31 	</DOCKABLE>
    32 	<DOCKABLE NAME="isabelle-simplifier-trace" MOVABLE="TRUE">
    33 		new isabelle.jedit.Simplifier_Trace_Dockable(view, position);
    34 	</DOCKABLE>
    35 	<DOCKABLE NAME="isabelle-sledgehammer" MOVABLE="TRUE">
    36 		new isabelle.jedit.Sledgehammer_Dockable(view, position);
    37 	</DOCKABLE>
    38 	<DOCKABLE NAME="isabelle-state" MOVABLE="TRUE">
    39 		new isabelle.jedit.State_Dockable(view, position);
    40 	</DOCKABLE>
    41 	<DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE">
    42 		new isabelle.jedit.Symbols_Dockable(view, position);
    43 	</DOCKABLE>
    44 	<DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE">
    45 		new isabelle.jedit.Syslog_Dockable(view, position);
    46 	</DOCKABLE>
    47 	<DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE">
    48 		new isabelle.jedit.Theories_Dockable(view, position);
    49 	</DOCKABLE>
    50 	<DOCKABLE NAME="isabelle-timing" MOVABLE="TRUE">
    51 		new isabelle.jedit.Timing_Dockable(view, position);
    52 	</DOCKABLE>
    53 </DOCKABLES>