35 isabelle.monitor-panel \ |
35 isabelle.monitor-panel \ |
36 isabelle.output-panel \ |
36 isabelle.output-panel \ |
37 isabelle.protocol-panel \ |
37 isabelle.protocol-panel \ |
38 isabelle.raw-output-panel \ |
38 isabelle.raw-output-panel \ |
39 isabelle.sledgehammer-panel \ |
39 isabelle.sledgehammer-panel \ |
|
40 isabelle.simp-trace-panel \ |
40 isabelle.symbols-panel \ |
41 isabelle.symbols-panel \ |
41 isabelle.syslog-panel \ |
42 isabelle.syslog-panel \ |
42 isabelle.theories-panel \ |
43 isabelle.theories-panel \ |
43 isabelle.timing-panel |
44 isabelle.timing-panel |
44 isabelle.documentation-panel.label=Documentation panel |
45 isabelle.documentation-panel.label=Documentation panel |
45 isabelle.find-panel.label=Find panel |
46 isabelle.find-panel.label=Find panel |
46 isabelle.monitor-panel.label=Monitor panel |
47 isabelle.monitor-panel.label=Monitor panel |
47 isabelle.output-panel.label=Output panel |
48 isabelle.output-panel.label=Output panel |
48 isabelle.protocol-panel.label=Protocol panel |
49 isabelle.protocol-panel.label=Protocol panel |
49 isabelle.raw-output-panel.label=Raw Output panel |
50 isabelle.raw-output-panel.label=Raw Output panel |
|
51 isabelle.simp-trace-panel.label=Simplifier trace panel |
50 isabelle.sledgehammer-panel.label=Sledgehammer panel |
52 isabelle.sledgehammer-panel.label=Sledgehammer panel |
51 isabelle.symbols-panel.label=Symbols panel |
53 isabelle.symbols-panel.label=Symbols panel |
52 isabelle.syslog-panel.label=Syslog panel |
54 isabelle.syslog-panel.label=Syslog panel |
53 isabelle.theories-panel.label=Theories panel |
55 isabelle.theories-panel.label=Theories panel |
54 isabelle.timing-panel.label=Timing panel |
56 isabelle.timing-panel.label=Timing panel |
57 isabelle-find.title=Find |
59 isabelle-find.title=Find |
58 isabelle-graphview.title=Graphview |
60 isabelle-graphview.title=Graphview |
59 isabelle-info.title=Info |
61 isabelle-info.title=Info |
60 isabelle-monitor.title=Monitor |
62 isabelle-monitor.title=Monitor |
61 isabelle-output.title=Output |
63 isabelle-output.title=Output |
|
64 isabelle-simp-trace.title=Simplifier trace |
62 isabelle-protocol.title=Protocol |
65 isabelle-protocol.title=Protocol |
63 isabelle-raw-output.title=Raw Output |
66 isabelle-raw-output.title=Raw Output |
64 isabelle-documentation.title=Documentation |
67 isabelle-documentation.title=Documentation |
65 isabelle-sledgehammer.title=Sledgehammer |
68 isabelle-sledgehammer.title=Sledgehammer |
66 isabelle-symbols.title=Symbols |
69 isabelle-symbols.title=Symbols |