equal
deleted
inserted
replaced
27 options.isabelle.font-size.title=Font Size |
27 options.isabelle.font-size.title=Font Size |
28 options.isabelle.font-size=14 |
28 options.isabelle.font-size=14 |
29 |
29 |
30 #menu actions |
30 #menu actions |
31 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
31 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
32 plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-output isabelle.show-protocol isabelle.show-history |
32 plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-output isabelle.show-protocol |
33 isabelle.activate.label=Activate current buffer |
33 isabelle.activate.label=Activate current buffer |
34 isabelle.show-output.label=Show Output |
34 isabelle.show-output.label=Show Output |
35 isabelle.show-protocol.label=Show Protocol |
35 isabelle.show-protocol.label=Show Protocol |
36 isabelle.show-history.label=Show History |
|
37 |
36 |
38 #dockables |
37 #dockables |
39 isabelle-output.title=Output |
38 isabelle-output.title=Output |
40 isabelle-protocol.title=Protocol |
39 isabelle-protocol.title=Protocol |
41 isabelle-history.title=History |
|
42 |
40 |
43 #SideKick |
41 #SideKick |
44 sidekick.parser.isabelle.label=Isabelle |
42 sidekick.parser.isabelle.label=Isabelle |
45 mode.isabelle.sidekick.parser=isabelle |
43 mode.isabelle.sidekick.parser=isabelle |
46 mode.ml.sidekick.parser=isabelle |
44 mode.ml.sidekick.parser=isabelle |