equal
deleted
inserted
replaced
10 import org.gjt.sp.jedit.View |
10 import org.gjt.sp.jedit.View |
11 |
11 |
12 |
12 |
13 class Debugger_Dockable(view: View, position: String) |
13 class Debugger_Dockable(view: View, position: String) |
14 extends isabelle.jedit.Debugger_Dockable(view, position) |
14 extends isabelle.jedit.Debugger_Dockable(view, position) |
|
15 |
|
16 class Document_Dockable(view: View, position: String) |
|
17 extends isabelle.jedit.Document_Dockable(view, position) |
15 |
18 |
16 class Documentation_Dockable(view: View, position: String) |
19 class Documentation_Dockable(view: View, position: String) |
17 extends isabelle.jedit.Documentation_Dockable(view, position) |
20 extends isabelle.jedit.Documentation_Dockable(view, position) |
18 |
21 |
19 class Info_Dockable(view: View, position: String) |
22 class Info_Dockable(view: View, position: String) |