35 isabelle.protocol-panel \ |
35 isabelle.protocol-panel \ |
36 isabelle.raw-output-panel \ |
36 isabelle.raw-output-panel \ |
37 isabelle.readme-panel \ |
37 isabelle.readme-panel \ |
38 isabelle.symbols-panel \ |
38 isabelle.symbols-panel \ |
39 isabelle.syslog-panel \ |
39 isabelle.syslog-panel \ |
40 isabelle.theories-panel |
40 isabelle.theories-panel \ |
|
41 isabelle.timing-panel |
41 isabelle.monitor-panel.label=Monitor panel |
42 isabelle.monitor-panel.label=Monitor panel |
42 isabelle.output-panel.label=Output panel |
43 isabelle.output-panel.label=Output panel |
43 isabelle.protocol-panel.label=Protocol panel |
44 isabelle.protocol-panel.label=Protocol panel |
44 isabelle.raw-output-panel.label=Raw Output panel |
45 isabelle.raw-output-panel.label=Raw Output panel |
45 isabelle.readme-panel.label=README panel |
46 isabelle.readme-panel.label=README panel |
46 isabelle.symbols-panel.label=Symbols panel |
47 isabelle.symbols-panel.label=Symbols panel |
47 isabelle.syslog-panel.label=Syslog panel |
48 isabelle.syslog-panel.label=Syslog panel |
48 isabelle.theories-panel.label=Theories panel |
49 isabelle.theories-panel.label=Theories panel |
|
50 isabelle.timing-panel.label=Timing panel |
49 |
51 |
50 #dockables |
52 #dockables |
51 isabelle-graphview.title=Graphview |
53 isabelle-graphview.title=Graphview |
52 isabelle-info.title=Info |
54 isabelle-info.title=Info |
53 isabelle-monitor.title=Monitor |
55 isabelle-monitor.title=Monitor |
56 isabelle-raw-output.title=Raw Output |
58 isabelle-raw-output.title=Raw Output |
57 isabelle-readme.title=README |
59 isabelle-readme.title=README |
58 isabelle-symbols.title=Symbols |
60 isabelle-symbols.title=Symbols |
59 isabelle-syslog.title=Syslog |
61 isabelle-syslog.title=Syslog |
60 isabelle-theories.title=Theories |
62 isabelle-theories.title=Theories |
|
63 isabelle-timing.title=Timing |
61 |
64 |
62 #SideKick |
65 #SideKick |
63 mode.isabelle-options.folding=sidekick |
66 mode.isabelle-options.folding=sidekick |
64 mode.isabelle-options.sidekick.parser=isabelle-options |
67 mode.isabelle-options.sidekick.parser=isabelle-options |
65 mode.isabelle-root.folding=sidekick |
68 mode.isabelle-root.folding=sidekick |