info.hupel.isabelle.setup.Resolver
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
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.