author | wenzelm |
Thu, 15 Jul 2021 20:15:03 +0200 | |
changeset 73994 | fbb30dac95a2 |
parent 73987 | fc363a3b690a |
child 74029 | 0701ff55780d |
permissions | -rw-r--r-- |
73987
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
1 |
description = Isabelle/jEdit main plugin |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
2 |
lib = $JEDIT_SETTINGS/jars |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
3 |
name = isabelle_jedit_main |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
4 |
requirements = \ |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
5 |
env:ISABELLE_SCALA_JAR \ |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
6 |
env:JEDIT_JARS |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
7 |
resources = \ |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
8 |
actions.xml \ |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
9 |
dockables.xml \ |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
10 |
plugin.props \ |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
11 |
services.xml |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
12 |
sources = \ |
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
13 |
isabelle_sidekick.scala \ |
73994
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
73987
diff
changeset
|
14 |
dockables.scala \ |
73987
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff
changeset
|
15 |
plugin.scala \ |
73994
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
73987
diff
changeset
|
16 |
scala_console.scala \ |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
73987
diff
changeset
|
17 |
services.scala |