| author | wenzelm |
| Wed, 01 Mar 2023 15:45:58 +0100 | |
| changeset 77451 | 0093124710db |
| parent 73987 | fc363a3b690a |
| child 83233 | 4f15c5c3781f |
| permissions | -rw-r--r-- |
|
72196
6dba090358d2
invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process);
wenzelm
parents:
diff
changeset
|
1 |
# -*- shell-script -*- :mode=shellscript: |
|
6dba090358d2
invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process);
wenzelm
parents:
diff
changeset
|
2 |
|
| 73412 | 3 |
ISABELLE_ATP="$COMPONENT/ATP" |