src/Tools/jEdit/src/dockables.xml
author wenzelm
Tue Sep 25 22:36:06 2012 +0200 (2012-09-25 ago)
changeset 49566 66cbf8bb4693
parent 49494 cbcccf2a0f6f
child 49570 2265456f6131
permissions -rw-r--r--
basic integration of graphview into document model;
added Graph_Dockable;
updated Isabelle/jEdit authors and dependencies etc.;
wenzelm@34318
     1
<?xml version="1.0"?>
wenzelm@34318
     2
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
wenzelm@34318
     3
wenzelm@34318
     4
<DOCKABLES>
wenzelm@39515
     5
	<DOCKABLE NAME="isabelle-session" MOVABLE="TRUE">
wenzelm@39515
     6
		new isabelle.jedit.Session_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@49566
    17
	<DOCKABLE NAME="isabelle-graph" MOVABLE="TRUE">
wenzelm@49566
    18
		new isabelle.jedit.Graph_Dockable(view, position);
wenzelm@49566
    19
	</DOCKABLE>
wenzelm@49494
    20
	<DOCKABLE NAME="isabelle-output1" MOVABLE="TRUE">
wenzelm@49494
    21
		new isabelle.jedit.Output1_Dockable(view, position);
wenzelm@49398
    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>
wenzelm@34318
    29
</DOCKABLES>