equal
deleted
inserted
replaced
|
1 # jEdit Properties |
|
2 |
|
3 plugin.isabelle.jedit.Plugin.activate=startup |
|
4 plugin.isabelle.jedit.Plugin.name=IsabellePlugin |
|
5 plugin.isabelle.jedit.Plugin.version=0.1 |
|
6 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar integration into jEdit |
|
7 plugin.isabelle.jedit.Plugin.option-pane=isabelle |
|
8 |
|
9 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
|
10 plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate |
|
11 |
|
12 Isabelle.show-output.label=Show Output |
|
13 Isabelle.show-state.label=Show State |
|
14 Isabelle.activate.label=Activate current buffer |
|
15 |
|
16 Isabelle_output.title=Isabelle Output |
|
17 Isabelle_state.title=Isabelle State |
|
18 |
|
19 options.isabelle.label=Isabelle |
|
20 options.isabelle.code=new isabelle.jedit.OptionPane(); |
|
21 options.isabelle.font-path.title=Font Path |
|
22 options.isabelle.font-size.title=Font Size |
|
23 options.isabelle.font-size=14 |
|
24 |