object
Isabelle_Cronjob
Type Members
-
sealed
case class
Item(known: Boolean, isabelle_version: String, afp_version: Option[String], pull_date: Date) extends Product with Serializable
-
-
-
-
sealed
case class
Remote_Build(description: String, host: String, user: String = "", port: Int = 0, ssh_host: String = "", ssh_permissive: Boolean = false, proxy_host: String = "", proxy_user: String = "", proxy_port: Int = 0, self_update: Boolean = false, historic: Boolean = false, history: Int = 0, history_base: String = "build_history_base", options: String = "", args: String = "", afp: Boolean = false, bulky: Boolean = false, more_hosts: List[String] = Nil, detect: Source = "", active: Boolean = true) extends Product with Serializable
-