author | wenzelm |
Sat, 17 Jul 2021 13:42:21 +0200 | |
changeset 74029 | 0701ff55780d |
parent 73987 | fc363a3b690a |
permissions | -rw-r--r-- |
74029
0701ff55780d
clarified build_props: empty module means no build;
wenzelm
parents:
73987
diff
changeset
|
1 |
title = Isabelle/jEdit base plugin |
0701ff55780d
clarified build_props: empty module means no build;
wenzelm
parents:
73987
diff
changeset
|
2 |
module = $JEDIT_SETTINGS/jars/isabelle_jedit_base.jar |
73987
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
3 |
requirements = \ |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
4 |
env:ISABELLE_SCALA_JAR \ |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
5 |
env:JEDIT_JARS |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
6 |
resources = \ |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
7 |
plugin.props \ |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
8 |
services.xml |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
9 |
sources = \ |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
10 |
plugin.scala |