| author | wenzelm |
| Thu, 21 Jan 2021 18:18:19 +0100 | |
| changeset 73142 | 0398f18ec76c |
| parent 72218 | a51736641843 |
| child 73412 | 83569d243671 |
| 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 |
|
|
72218
a51736641843
initial Kodkod.warmup: preloading and basic integrity test;
wenzelm
parents:
72196
diff
changeset
|
3 |
isabelle_scala_service 'isabelle.nitpick.Kodkod$Handler' |
|
72196
6dba090358d2
invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process);
wenzelm
parents:
diff
changeset
|
4 |
isabelle_scala_service 'isabelle.nitpick.Scala_Functions' |