info.hupel.isabelle.setup
Function preparing a classpath containing an appropriate environment.
Instances are available in the companion object.
Function preparing a classpath containing an appropriate environment.
Instances are available in the companion object.