info.hupel.isabelle

cli

package cli

Visibility
  1. Public
  2. All

Type Members

  1. case class Args(version: Option[Version], include: List[Path], session: Option[String], home: Option[Path], dump: Option[Path], user: Option[Path], command: Option[String], rest: List[String]) extends Product with Serializable

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

  3. trait Command extends AnyRef

Value Members

  1. object Args extends Serializable

  2. object Build extends Command

  3. object Check extends Command

  4. object Exec extends Command

  5. object JEdit extends Command

  6. object Main

  7. object Report extends Command

Ungrouped