1 # -*- shell-script -*- :mode=shellscript:
2
3 isabelle_scala_service 'isabelle.nitpick.Scala_Functions'