equal
deleted
inserted
replaced
1 ## Isabelle/jEdit plugin properties |
1 ## Isabelle/jEdit plugin properties |
2 ## |
2 ## |
3 ##:wrap=soft:maxLineLen=100: |
3 ##:wrap=soft:maxLineLen=100: |
4 |
4 |
5 #identification |
5 #identification |
6 plugin.isabelle.jedit_main.Plugin.name=Isabelle |
6 plugin.isabelle.jedit_main.Plugin.name=Isabelle Main |
7 plugin.isabelle.jedit_main.Plugin.author=Johannes H\u00F6lzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel |
7 plugin.isabelle.jedit_main.Plugin.author=Johannes H\u00F6lzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel |
8 plugin.isabelle.jedit_main.Plugin.version=11.2 |
8 plugin.isabelle.jedit_main.Plugin.version=11.2 |
9 plugin.isabelle.jedit_main.Plugin.description=Isabelle Prover IDE |
9 plugin.isabelle.jedit_main.Plugin.description=Isabelle/jEdit main plugin |
10 |
10 |
11 #system parameters |
11 #system parameters |
12 plugin.isabelle.jedit_main.Plugin.activate=defer |
12 plugin.isabelle.jedit_main.Plugin.activate=defer |
13 plugin.isabelle.jedit_main.Plugin.usePluginHome=false |
13 plugin.isabelle.jedit_main.Plugin.usePluginHome=false |
14 |
14 |