info.hupel.isabelle.setup
resolver instances.
Classpath-based resolver.
When looking up a version, it expects a resource named pide-$version-assembly.jar in the classpath. Because Java URLs cannot be nested, this resolver then writes this resource to a temporary file.
pide-$version-assembly.jar
Default resolver: look in the classpath first, then resolve via Maven.
Maven-/Ivy-based resolver.
Uses coursier under the hood to resolve artifacts from Maven and Ivy repositories.
coursier
resolver instances.