--- a/src/Tools/jEdit/src/dockables.xml Sun Sep 16 13:12:55 2012 +0200
+++ b/src/Tools/jEdit/src/dockables.xml Sun Sep 16 20:16:28 2012 +0200
@@ -14,6 +14,9 @@
<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE">
new isabelle.jedit.Output_Dockable(view, position);
</DOCKABLE>
+ <DOCKABLE NAME="isabelle-output2" MOVABLE="TRUE">
+ new isabelle.jedit.Output2_Dockable(view, position);
+ </DOCKABLE>
<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE">
new isabelle.jedit.Raw_Output_Dockable(view, position);
</DOCKABLE>