author | wenzelm |
Thu, 31 Dec 2009 00:38:15 +0100 | |
changeset 34820 | a8ba6cde13e9 |
parent 34814 | 0b788ea1ceac |
child 37065 | 2a73253b5898 |
permissions | -rw-r--r-- |
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
1 |
<?xml version="1.0"?> |
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
2 |
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> |
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
3 |
|
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
4 |
<DOCKABLES> |
34773 | 5 |
<DOCKABLE NAME="isabelle-output" MOVABLE="TRUE"> |
6 |
new isabelle.jedit.Output_Dockable(view, position); |
|
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
7 |
</DOCKABLE> |
34773 | 8 |
<DOCKABLE NAME="isabelle-protocol" MOVABLE="TRUE"> |
9 |
new isabelle.jedit.Protocol_Dockable(view, position); |
|
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
10 |
</DOCKABLE> |
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
11 |
</DOCKABLES> |