equal
deleted
inserted
replaced
26 options.isabelle.code=new isabelle.jedit.Isabelle_Options(); |
26 options.isabelle.code=new isabelle.jedit.Isabelle_Options(); |
27 options.isabelle.logic.title=Logic |
27 options.isabelle.logic.title=Logic |
28 options.isabelle.relative-font-size.title=Relative Font Size |
28 options.isabelle.relative-font-size.title=Relative Font Size |
29 options.isabelle.relative-font-size=100 |
29 options.isabelle.relative-font-size=100 |
30 options.isabelle.tooltip-font-size.title=Tooltip Font Size |
30 options.isabelle.tooltip-font-size.title=Tooltip Font Size |
31 options.isabelle.tooltip-font-size=4 |
31 options.isabelle.tooltip-font-size=10 |
32 options.isabelle.startup-timeout=10000 |
32 options.isabelle.startup-timeout=10000 |
33 |
33 |
34 #menu actions |
34 #menu actions |
35 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
35 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
36 plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-output isabelle.show-raw-output isabelle.show-protocol |
36 plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-output isabelle.show-raw-output isabelle.show-protocol |