38 isabelle.input-bold.label=Input bold face |
38 isabelle.input-bold.label=Input bold face |
39 isabelle.input-bold.shortcut=C+e RIGHT |
39 isabelle.input-bold.shortcut=C+e RIGHT |
40 |
40 |
41 #menu actions |
41 #menu actions |
42 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
42 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
43 plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.graphview-panel isabelle.output1-panel isabelle.raw-output-panel isabelle.protocol-panel isabelle.readme-panel isabelle.syslog-panel |
43 plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.graphview-panel isabelle.raw-output-panel isabelle.protocol-panel isabelle.readme-panel isabelle.syslog-panel |
44 isabelle.session-panel.label=Prover Session panel |
44 isabelle.session-panel.label=Prover Session panel |
45 isabelle.output-panel.label=Output panel |
45 isabelle.output-panel.label=Output panel |
46 isabelle.graphview-panel.label=Graphview panel |
46 isabelle.graphview-panel.label=Graphview panel |
47 isabelle.output1-panel.label=Output1 panel |
|
48 isabelle.raw-output-panel.label=Raw Output panel |
47 isabelle.raw-output-panel.label=Raw Output panel |
49 isabelle.protocol-panel.label=Protocol panel |
48 isabelle.protocol-panel.label=Protocol panel |
50 isabelle.readme-panel.label=README panel |
49 isabelle.readme-panel.label=README panel |
51 isabelle.syslog-panel.label=Syslog panel |
50 isabelle.syslog-panel.label=Syslog panel |
52 |
51 |
53 #dockables |
52 #dockables |
54 isabelle-session.title=Prover Session |
53 isabelle-session.title=Prover Session |
55 isabelle-output.title=Output |
54 isabelle-output.title=Output |
56 isabelle-graphview.title=Graphview |
55 isabelle-graphview.title=Graphview |
57 isabelle-output1.title=Output1 |
|
58 isabelle-raw-output.title=Raw Output |
56 isabelle-raw-output.title=Raw Output |
59 isabelle-protocol.title=Protocol |
57 isabelle-protocol.title=Protocol |
60 isabelle-readme.title=README |
58 isabelle-readme.title=README |
61 isabelle-syslog.title=Syslog |
59 isabelle-syslog.title=Syslog |
62 |
60 |