| author | paulson |
| Sun, 11 Oct 2020 14:56:18 +0100 | |
| changeset 72446 | d189ad779a23 |
| 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' |