Creates a configuration with an empty path, that is, it must be a session included in the Isabelle distribution or registered as a component.
Creates a configuration with an empty path, that is, it must be a session included in the Isabelle distribution or registered as a component.
Unless using a custom Isabelle distribution, a system created with such a configuration will be unable to reply to any operation.
Creates a configuration from an additional path, that
is, the specified session is declared in a ROOT
file in that path
(or indirectly via a ROOTS
file).
Creates a configuration from an additional path, that
is, the specified session is declared in a ROOT
file in that path
(or indirectly via a ROOTS
file).
In almost all cases, it should refer to a session which has one of the
Protocol
session of the
accompanying theory sources
as an ancestor, or includes these theories in some other way.
The given path must not be identical to or be a subdirectory of the
Isabelle home path. It must also, either directly or indirectly via a
ROOTS
file, contain declarations for all ancestor sessions.
Convenience constructors for configurations.