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 an existing resources
object.
Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Represents the location and name of a session (Isabelle terminology).
Refer to the Isabelle system manual for details about sessions.
libisabelleassumes 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 an existing resources object.