48 isabelle.input-bold.label=Input bold face |
48 isabelle.input-bold.label=Input bold face |
49 isabelle.input-bold.shortcut=C+e RIGHT |
49 isabelle.input-bold.shortcut=C+e RIGHT |
50 |
50 |
51 #menu actions |
51 #menu actions |
52 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
52 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
53 plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel isabelle.readme-panel |
53 plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel isabelle.readme-panel isabelle.syslog-panel |
54 isabelle.session-panel.label=Prover Session panel |
54 isabelle.session-panel.label=Prover Session panel |
55 isabelle.output-panel.label=Output panel |
55 isabelle.output-panel.label=Output panel |
56 isabelle.raw-output-panel.label=Raw Output panel |
56 isabelle.raw-output-panel.label=Raw Output panel |
57 isabelle.protocol-panel.label=Protocol panel |
57 isabelle.protocol-panel.label=Protocol panel |
58 isabelle.readme-panel.label=README panel |
58 isabelle.readme-panel.label=README panel |
|
59 isabelle.syslog-panel.label=Syslog panel |
59 |
60 |
60 #dockables |
61 #dockables |
61 isabelle-session.title=Prover Session |
62 isabelle-session.title=Prover Session |
62 isabelle-output.title=Output |
63 isabelle-output.title=Output |
63 isabelle-raw-output.title=Raw Output |
64 isabelle-raw-output.title=Raw Output |
64 isabelle-protocol.title=Protocol |
65 isabelle-protocol.title=Protocol |
65 isabelle-readme.title=README |
66 isabelle-readme.title=README |
|
67 isabelle-syslog.title=Syslog |
66 |
68 |
67 #SideKick |
69 #SideKick |
68 sidekick.parser.isabelle.label=Isabelle |
70 sidekick.parser.isabelle.label=Isabelle |
69 mode.isabelle.sidekick.parser=isabelle |
71 mode.isabelle.sidekick.parser=isabelle |
70 mode.ml.sidekick.parser=isabelle |
72 mode.ml.sidekick.parser=isabelle |