equal
deleted
inserted
replaced
1 <?xml version="1.0"?> |
1 <?xml version="1.0"?> |
2 |
2 |
3 <!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> |
3 <!DOCTYPE DOCKABLES SYSTEM "dockables.dtd"> |
4 |
4 |
5 <DOCKABLES> |
5 <DOCKABLES> |
6 <DOCKABLE NAME="Isabelle_output" MOVABLE="TRUE"> |
6 <DOCKABLE NAME="isabelle-output" MOVABLE="TRUE"> |
7 new isabelle.jedit.OutputDockable(view, position); |
7 new isabelle.jedit.OutputDockable(view, position); |
8 </DOCKABLE> |
8 </DOCKABLE> |
9 <DOCKABLE NAME="Isabelle_state" MOVABLE="TRUE"> |
9 <DOCKABLE NAME="isabelle-state" MOVABLE="TRUE"> |
10 new isabelle.jedit.StateViewDockable(view, position); |
10 new isabelle.jedit.StateViewDockable(view, position); |
11 </DOCKABLE> |
11 </DOCKABLE> |
12 <DOCKABLE NAME="Isabelle_scroller" MOVABLE="TRUE"> |
12 <DOCKABLE NAME="isabelle-scroller" MOVABLE="TRUE"> |
13 new isabelle.jedit.ScrollerDockable(view, position); |
13 new isabelle.jedit.ScrollerDockable(view, position); |
14 </DOCKABLE> |
14 </DOCKABLE> |
15 </DOCKABLES> |
15 </DOCKABLES> |