(* :mode=isabelle-options: *)

section "Isabelle/DOF"

public option dof_document_class : string = "scrreprt-modern"
  -- "Default document class for Isabelle/DOF documents"

public option dof_presentation_ontologies : string = "technical_report scholarly_paper"
  -- "ontologies (separated by blanks)"


option dof_version : string = "Unreleased" 
  -- "Isabelle/DOF version" 
     (* "Unreleased" for development, semantic version for releases *)

option dof_isabelle : string = "2021-1" 

option dof_latest_version : string = "1.2.0"    
option dof_latest_isabelle : string = "Isabelle2021"
option dof_latest_doi : string = "10.5281/zenodo.6385695"
option dof_generic_doi : string = "10.5281/zenodo.3370482"

option dof_url : string = "https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"
  -- "Isabelle/DOF source repository"

option dof_artifact_dir : string = "releases/Isabelle_DOF/Isabelle_DOF"
  -- "Isabelle/DOF release artifacts"

option dof_artifact_host : string = "artifacts.logicalhacking.com"