equal
deleted
inserted
replaced
7 new isabelle.jedit.OutputDockable(view, position); |
7 new isabelle.jedit.OutputDockable(view, position); |
8 </DOCKABLE> |
8 </DOCKABLE> |
9 <DOCKABLE NAME="Isabelle_state"> |
9 <DOCKABLE NAME="Isabelle_state"> |
10 new isabelle.jedit.StateViewDockable(view, position); |
10 new isabelle.jedit.StateViewDockable(view, position); |
11 </DOCKABLE> |
11 </DOCKABLE> |
|
12 <DOCKABLE NAME="Isabelle_scroller"> |
|
13 new isabelle.jedit.XMLScroller(view, position); |
|
14 </DOCKABLE> |
12 </DOCKABLES> |
15 </DOCKABLES> |