cli

case class Args(version: Option[Version], include: List[Path], session: Option[String], home: Option[Path], user: Option[Path], resources: Option[Path], internal: Boolean, fetch: List[String], command: Option[String], rest: List[String]) extends Product with Serializable
final case class Bundle(env: Environment, setup: Setup, configuration: Configuration) extends Product with Serializable

Simple bundle of an Isabelle setup, a matching environment and a requested configuration.
trait Command extends AnyRef