equal
deleted
inserted
replaced
5 plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel |
5 plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel |
6 plugin.isabelle.jedit.Plugin.version=0.0.1 |
6 plugin.isabelle.jedit.Plugin.version=0.0.1 |
7 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar live document editing |
7 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar live document editing |
8 |
8 |
9 #system parameters |
9 #system parameters |
10 plugin.isabelle.jedit.Plugin.activate=defer |
10 plugin.isabelle.jedit.Plugin.activate=startup |
11 plugin.isabelle.jedit.Plugin.usePluginHome=false |
11 plugin.isabelle.jedit.Plugin.usePluginHome=false |
12 plugin.isabelle.jedit.Plugin.jars=isabelle-Pure.jar core-renderer.jar scala-library.jar |
12 plugin.isabelle.jedit.Plugin.jars=Pure.jar core-renderer.jar scala-library.jar |
13 |
13 |
14 #dependencies |
14 #dependencies |
15 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.5 |
15 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.5 |
16 plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.14.00 |
16 plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.14.00 |
17 plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7 |
17 plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7 |
21 plugin.isabelle.jedit.Plugin.option-pane=isabelle |
21 plugin.isabelle.jedit.Plugin.option-pane=isabelle |
22 options.isabelle.label=Isabelle |
22 options.isabelle.label=Isabelle |
23 options.isabelle.code=new isabelle.jedit.OptionPane(); |
23 options.isabelle.code=new isabelle.jedit.OptionPane(); |
24 options.isabelle.font-path.title=Font Path |
24 options.isabelle.font-path.title=Font Path |
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=18 |
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.activate isabelle.show-state isabelle.show-output 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 |
31 isabelle.activate.label=Activate current buffer |