author | wenzelm |
Thu, 15 Jul 2021 18:56:15 +0200 | |
changeset 73991 | 9f42f2a80ef3 |
parent 73987 | fc363a3b690a |
child 74012 | 341941afe827 |
permissions | -rw-r--r-- |
73987
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
71521
diff
changeset
|
1 |
## Isabelle/jEdit plugin properties |
66468 | 2 |
## |
73991 | 3 |
##:wrap=soft:maxLineLen=100: |
66468 | 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 |
|
66476 | 9 |
plugin.isabelle.jedit_base.Plugin.description=Isabelle Base: DO NOT UNLOAD! |
66468 | 10 |
|
11 |
#system parameters |
|
12 |
plugin.isabelle.jedit_base.Plugin.activate=startup |
|
13 |
plugin.isabelle.jedit_base.Plugin.usePluginHome=false |
|
14 |
||
15 |
#dependencies |
|
71521
e977609c30eb
formally depend on Java 11 --- discontinue Java 8 workaround;
wenzelm
parents:
68395
diff
changeset
|
16 |
plugin.isabelle.jedit_base.Plugin.depend.0=jdk 11 |
68395 | 17 |
plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.05.00.00 |