equal
deleted
inserted
replaced
25 options.isabelle.font-size.title=Font Size |
25 options.isabelle.font-size.title=Font Size |
26 options.isabelle.font-size=14 |
26 options.isabelle.font-size=14 |
27 |
27 |
28 #menu actions |
28 #menu actions |
29 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
29 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
30 plugin.isabelle.jedit.Plugin.menu=isabelle.show-output isabelle.show-state isabelle.activate isabelle.show-scroller |
30 plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-state isabelle.show-output isabelle.show-scroller |
|
31 isabelle.activate.label=Activate current buffer |
|
32 isabelle.show-state.label=Show State |
31 isabelle.show-output.label=Show Output |
33 isabelle.show-output.label=Show Output |
32 isabelle.show-state.label=Show State |
|
33 isabelle.show-scroller.label=Show Scroller |
34 isabelle.show-scroller.label=Show Scroller |
34 isabelle.activate.label=Activate current buffer |
|
35 |
35 |
36 #dockables |
36 #dockables |
37 isabelle-output.title=Isabelle Output |
37 isabelle-output.title=Isabelle Output |
38 isabelle-state.title=Isabelle State |
38 isabelle-state.title=Isabelle State |
39 isabelle-scroller.title=Isabelle Scroller |
39 isabelle-scroller.title=Isabelle Scroller |