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
setup and
system interfaces.
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 setup and system interfaces.