| changeset 72218 | a51736641843 |
| parent 72196 | 6dba090358d2 |
| child 73412 | 83569d243671 |
--- a/src/HOL/Tools/etc/settings Thu Aug 27 17:05:59 2020 +0200 +++ b/src/HOL/Tools/etc/settings Thu Aug 27 17:15:33 2020 +0200 @@ -1,3 +1,4 @@ # -*- shell-script -*- :mode=shellscript: +isabelle_scala_service 'isabelle.nitpick.Kodkod$Handler' isabelle_scala_service 'isabelle.nitpick.Scala_Functions'