diff --git a/etc/options b/etc/options
index bd81e54..1e4ff4b 100644
--- a/etc/options
+++ b/etc/options
@@ -2,7 +2,25 @@
 
 section "Isabelle/DOF"
 
-public option dof_url : string = "https://git.logicalhacking.com/Isabelle_DOF/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"