changeset 27985 | fb774d10ea4c |
parent 25851 | 606850a6fc1a |
27984:b4dd58cff97c | 27985:fb774d10ea4c |
---|---|
2 <!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> |
2 <!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> |
3 <!-- $Id$ --> |
3 <!-- $Id$ --> |
4 |
4 |
5 <DOCKABLES> |
5 <DOCKABLES> |
6 <DOCKABLE NAME="isabelle" MOVABLE="TRUE"> |
6 <DOCKABLE NAME="isabelle" MOVABLE="TRUE"> |
7 new isabelle.IsabelleDock(view, position); |
7 new isabelle.jedit.IsabelleDock(view, position); |
8 </DOCKABLE> |
8 </DOCKABLE> |
9 </DOCKABLES> |
9 </DOCKABLES> |
10 |
10 |