equal
deleted
inserted
replaced
20 extends isabelle.jedit.Info_Dockable(view, position) |
20 extends isabelle.jedit.Info_Dockable(view, position) |
21 |
21 |
22 class Graphview_Dockable(view: View, position: String) |
22 class Graphview_Dockable(view: View, position: String) |
23 extends isabelle.jedit.Graphview_Dockable(view, position) |
23 extends isabelle.jedit.Graphview_Dockable(view, position) |
24 |
24 |
|
25 class Monitor_Dockable(view: View, position: String) |
|
26 extends isabelle.jedit.Monitor_Dockable(view, position) |
|
27 |
|
28 class Output_Dockable(view: View, position: String) |
|
29 extends isabelle.jedit.Output_Dockable(view, position) |
|
30 |
25 class Protocol_Dockable(view: View, position: String) |
31 class Protocol_Dockable(view: View, position: String) |
26 extends isabelle.jedit.Protocol_Dockable(view, position) |
32 extends isabelle.jedit.Protocol_Dockable(view, position) |
27 |
33 |
28 class Query_Dockable(view: View, position: String) |
34 class Query_Dockable(view: View, position: String) |
29 extends isabelle.jedit.Query_Dockable(view, position) |
35 extends isabelle.jedit.Query_Dockable(view, position) |
38 extends isabelle.jedit.Sledgehammer_Dockable(view, position) |
44 extends isabelle.jedit.Sledgehammer_Dockable(view, position) |
39 |
45 |
40 class State_Dockable(view: View, position: String) |
46 class State_Dockable(view: View, position: String) |
41 extends isabelle.jedit.State_Dockable(view, position) |
47 extends isabelle.jedit.State_Dockable(view, position) |
42 |
48 |
|
49 class Symbols_Dockable(view: View, position: String) |
|
50 extends isabelle.jedit.Symbols_Dockable(view, position) |
|
51 |
43 class Syslog_Dockable(view: View, position: String) |
52 class Syslog_Dockable(view: View, position: String) |
44 extends isabelle.jedit.Syslog_Dockable(view, position) |
53 extends isabelle.jedit.Syslog_Dockable(view, position) |
45 |
54 |
46 class Theories_Dockable(view: View, position: String) |
55 class Theories_Dockable(view: View, position: String) |
47 extends isabelle.jedit.Theories_Dockable(view, position) |
56 extends isabelle.jedit.Theories_Dockable(view, position) |