Software Open Access
Lars Hupel; Frank S. Thomas; Alexandre Archambault
Versionis now split into
GenericEnvironmentis a new subclass of
Environmentthat can be instantiated without classloading; only supports Isabelle tool invocations (e.g.
.libisabelle/.files) correctly (8898c0e)
ExitTrapexception (used for control flow) is not printed anymore (0404c13)
SNAPSHOT) artifacts are fetched again after TTL has expired (d1130d4)