info.hupel.isabelle

cli

package cli

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. cli
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

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

  2. trait Command extends AnyRef

  3. case class Options(version: Option[Stable] = scala.None, devel: Boolean = false, session: String = "HOL", include: List[Path], component: List[Path], home: Option[Path], user: Option[Path], freshUser: Boolean = false, resources: Option[Path], freshResources: Boolean = false, internal: Boolean = false, fetch: List[String], afp: Boolean = false, verbose: Boolean = false) extends Product with Serializable

    Annotations
    @AppName( "libisabelle" ) @AppVersion( BuildInfo.version ) @ProgName( "isabellectl" )

Value Members

  1. object Build extends Command

  2. object Check extends Command

  3. object Exec extends Command

  4. object JEdit extends Command

  5. object Main

  6. object Options extends Serializable

  7. object Report extends Command

  8. implicit val pathParser: ArgParser[Path]

  9. implicit val versionParser: ArgParser[Stable]

Inherited from AnyRef

Inherited from Any

Ungrouped