Searches the specified class loader for Isabelle source files.
Searches the specified class loader for Isabelle source files.
Isabelle sources files can be automatically managed by libisabelle
. When
using an SBT-based build, the
sbt-libisabelle
plugin
automatically configures the build to copy the Isabelle sources stored in
src/main/isabelle
into an appropriate location such that they become
part of the runtime classpath.
This function expects any number of index files in the location
.libisabelle/.files
, containing a list of relative path names where
Isabelle source files may be found. For example, an entry A/tactic.ML
will lead to a lookup for a resource at .libisabelle/A/tactic.ML
. All
index files will be processed. The referenced files will be copied to
the specified location. Path names are expected to be encoded in UTF-8,
which is the standard encoding Isabelle uses.
After that, a ROOTS
file will be created, listing all direct
subdirectories that have been created below the specified path and that
are also session root directories. For example, if the files
A/tactic.ML
, A/ROOTS
, B/ROOT
and C/Seq.thy
have been written, the
ROOTS
file will contain A
and B
, but not C
.
Shorthand for dumpIsabelleResources
using a temporary path and the current class loader.
Utilities to extract resources from the classpath.