| author | wenzelm |
| Tue, 08 Dec 2009 21:49:30 +0100 | |
| changeset 34771 | d8d321af1478 |
| parent 34763 | dc7f5e0d9d27 |
| child 34776 | bb5d68f7fd5e |
| permissions | -rw-r--r-- |
| wenzelm@34321 | 1 |
<?xml version="1.0"?> |
| wenzelm@34321 | 2 |
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> |
| wenzelm@34321 | 3 |
|
| wenzelm@34321 | 4 |
<DOCKABLES> |
| wenzelm@34763 | 5 |
<DOCKABLE NAME="isabelle-results" MOVABLE="TRUE"> |
| wenzelm@34771 | 6 |
new isabelle.jedit.Results_Dockable(view, position); |
| wenzelm@34321 | 7 |
</DOCKABLE> |
| wenzelm@34763 | 8 |
<DOCKABLE NAME="isabelle-raw-output" MOVABLE="TRUE"> |
| wenzelm@34763 | 9 |
new isabelle.jedit.Raw_Output_Dockable(view, position); |
| wenzelm@34321 | 10 |
</DOCKABLE> |
| wenzelm@34763 | 11 |
<DOCKABLE NAME="isabelle-history" MOVABLE="TRUE"> |
| wenzelm@34771 | 12 |
new isabelle.jedit.History_Dockable(view, position).peer (); |
| immler@34655 | 13 |
</DOCKABLE> |
| wenzelm@34321 | 14 |
</DOCKABLES> |