| author | haftmann |
| Mon, 14 Apr 2025 20:19:05 +0200 | |
| changeset 82507 | 38550f21275d |
| parent 79058 | f13390b2c1ee |
| permissions | -rw-r--r-- |
|
79058
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
1 |
# -*- shell-script -*- :mode=shellscript: |
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
2 |
|
|
f13390b2c1ee
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
wenzelm
parents:
diff
changeset
|
3 |
ISABELLE_DEMO_HOME="$COMPONENT" |