Represents the location and name of a session (Isabelle terminology).
Abstract interface for an Isabelle environment of a particular version in a path with an underlying PIDE machinery.
Represents the version of an Isabelle release.
This object was generated by sbt-buildinfo.
Convenience constructors for configurations.
Minimal API for managing some Isabelle version. It is centered around the notion of an environment, which captures the base functionality of an Isabelle process, e.g. starting and stopping an instance. API clients should go through the higher-level implementations and system interfaces.