--- a/src/Tools/jEdit/src/dockables.xml Mon Mar 25 20:00:27 2013 +0100
+++ b/src/Tools/jEdit/src/dockables.xml Tue Mar 26 11:26:13 2013 +0100
@@ -5,6 +5,9 @@
<DOCKABLE NAME="isabelle-theories" MOVABLE="TRUE">
new isabelle.jedit.Theories_Dockable(view, position);
</DOCKABLE>
+ <DOCKABLE NAME="isabelle-timing" MOVABLE="TRUE">
+ new isabelle.jedit.Timing_Dockable(view, position);
+ </DOCKABLE>
<DOCKABLE NAME="isabelle-syslog" MOVABLE="TRUE">
new isabelle.jedit.Syslog_Dockable(view, position);
</DOCKABLE>