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.
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.