equal
deleted
inserted
replaced
|
1 ## Isabelle/jEdit plugin properties |
|
2 ## |
|
3 ##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100: |
|
4 |
|
5 #identification |
|
6 plugin.isabelle.jedit_base.Plugin.name=Isabelle Base |
|
7 plugin.isabelle.jedit_base.Plugin.author=Makarius Wenzel |
|
8 plugin.isabelle.jedit_base.Plugin.version=1.0 |
|
9 plugin.isabelle.jedit_base.Plugin.description=Isabelle Base: DO NOT UNLOAD! |
|
10 |
|
11 #system parameters |
|
12 plugin.isabelle.jedit_base.Plugin.activate=startup |
|
13 plugin.isabelle.jedit_base.Plugin.usePluginHome=false |
|
14 |
|
15 #dependencies |
|
16 plugin.isabelle.jedit_base.Plugin.depend.0=jdk 11 |
|
17 plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.05.00.00 |