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;
wenzelm@34318
     1
<?xml version="1.0"?>
wenzelm@34318
     2
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
wenzelm@34318
     3
wenzelm@34318
     4
<DOCKABLES>
wenzelm@60749
     5
	<DOCKABLE NAME="isabelle-debugger" MOVABLE="TRUE">
wenzelm@60749
     6
		new isabelle.jedit.Debugger_Dockable(view, position);
wenzelm@60749
     7
	</DOCKABLE>
wenzelm@52445
     8
	<DOCKABLE NAME="isabelle-documentation" MOVABLE="TRUE">
wenzelm@52445
     9
		new isabelle.jedit.Documentation_Dockable(view, position);
wenzelm@52445
    10
	</DOCKABLE>
wenzelm@49726
    11
	<DOCKABLE NAME="isabelle-info" MOVABLE="TRUE">
wenzelm@49726
    12
		new isabelle.jedit.Info_Dockable(view, position);
wenzelm@49726
    13
	</DOCKABLE>
wenzelm@49570
    14
	<DOCKABLE NAME="isabelle-graphview" MOVABLE="TRUE">
wenzelm@49570
    15
		new isabelle.jedit.Graphview_Dockable(view, position);
wenzelm@49566
    16
	</DOCKABLE>
wenzelm@55558
    17
	<DOCKABLE NAME="isabelle-monitor" MOVABLE="TRUE">
wenzelm@55558
    18
		new isabelle.jedit.Monitor_Dockable(view, position);
wenzelm@55558
    19
	</DOCKABLE>
wenzelm@55558
    20
	<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
wenzelm@55558
    21
		new isabelle.jedit.Output_Dockable(view, position);
wenzelm@37065
    22
	</DOCKABLE>
wenzelm@34773
    23
	<DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE">
wenzelm@34773
    24
		new isabelle.jedit.Protocol_Dockable(view, position);
wenzelm@34318
    25
	</DOCKABLE>
wenzelm@56879
    26
	<DOCKABLE NAME="isabelle-query" MOVABLE="TRUE">
wenzelm@56879
    27
		new isabelle.jedit.Query_Dockable(view, position);
wenzelm@56879
    28
	</DOCKABLE>
wenzelm@55558
    29
	<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">
wenzelm@55558
    30
		new isabelle.jedit.Raw_Output_Dockable(view, position);
wenzelm@55558
    31
	</DOCKABLE>
wenzelm@55558
    32
	<DOCKABLE NAME="isabelle-simplifier-trace" MOVABLE="TRUE">
wenzelm@55558
    33
		new isabelle.jedit.Simplifier_Trace_Dockable(view, position);
wenzelm@55558
    34
	</DOCKABLE>
wenzelm@55558
    35
	<DOCKABLE NAME="isabelle-sledgehammer" MOVABLE="TRUE">
wenzelm@55558
    36
		new isabelle.jedit.Sledgehammer_Dockable(view, position);
wenzelm@50433
    37
	</DOCKABLE>
wenzelm@61208
    38
	<DOCKABLE NAME="isabelle-state" MOVABLE="TRUE">
wenzelm@61208
    39
		new isabelle.jedit.State_Dockable(view, position);
wenzelm@61208
    40
	</DOCKABLE>
immler@50143
    41
	<DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE">
immler@50143
    42
		new isabelle.jedit.Symbols_Dockable(view, position);
immler@50143
    43
	</DOCKABLE>
wenzelm@55558
    44
	<DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE">
wenzelm@55558
    45
		new isabelle.jedit.Syslog_Dockable(view, position);
wenzelm@55558
    46
	</DOCKABLE>
wenzelm@55558
    47
	<DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE">
wenzelm@55558
    48
		new isabelle.jedit.Theories_Dockable(view, position);
wenzelm@55558
    49
	</DOCKABLE>
wenzelm@55558
    50
	<DOCKABLE NAME="isabelle-timing" MOVABLE="TRUE">
wenzelm@55558
    51
		new isabelle.jedit.Timing_Dockable(view, position);
lars@55316
    52
	</DOCKABLE>
lars@55316
    53
</DOCKABLES>