final case classConfiguration(paths: List[Path], session: String) extends Product with Serializable
Represents the location and name of a session (Isabelle terminology).
Refer to the Isabelle system manual for details about sessions.
libisabelle assumes that users are familiar with the session handling
of Isabelle.
Creation of configurations is completely unchecked. Errors such as
non-existing paths will only manifest themselves when attempting to
build a configuration or
create a
system. Nonetheless, users should go
through one of the constructors in the
companion object.
Represents the location and name of a session (Isabelle terminology).
Refer to the Isabelle system manual for details about sessions.
libisabelle
assumes that users are familiar with the session handling of Isabelle.Creation of configurations is completely unchecked. Errors such as non-existing paths will only manifest themselves when attempting to build a configuration or create a system. Nonetheless, users should go through one of the constructors in the companion object.