equal
deleted
inserted
replaced
1 ## Isabelle plugin properties |
1 ## Isabelle plugin properties |
|
2 ## |
|
3 ##:encoding=ISO-8859-1: |
2 |
4 |
3 #identification |
5 #identification |
4 plugin.isabelle.jedit.Plugin.name=Isabelle |
6 plugin.isabelle.jedit.Plugin.name=Isabelle |
5 plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel |
7 plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel |
6 plugin.isabelle.jedit.Plugin.version=0.0.1 |
8 plugin.isabelle.jedit.Plugin.version=0.0.1 |
7 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar live document editing |
9 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar live document editing |
8 |
10 |
9 #system parameters |
11 #system parameters |
10 plugin.isabelle.jedit.Plugin.activate=startup |
12 # jEdit only needs to load the plugin the first time the user accesses it |
|
13 # the presence of this property (activate=defer) also tells jEdit the plugin is using the new API |
|
14 plugin.isabelle.jedit.Plugin.activate=defer |
11 plugin.isabelle.jedit.Plugin.usePluginHome=false |
15 plugin.isabelle.jedit.Plugin.usePluginHome=false |
12 plugin.isabelle.jedit.Plugin.jars=Pure.jar core-renderer.jar scala-library.jar |
16 plugin.isabelle.jedit.Plugin.jars=Pure.jar core-renderer.jar scala-library.jar |
13 |
17 |
14 #dependencies |
18 #dependencies |
15 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.5 |
19 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.5 |