diff --git a/etc/options b/etc/options
index 74a8987..cf3376e 100644
--- a/etc/options
+++ b/etc/options
@@ -8,16 +8,16 @@ public option dof_template : string = "scrreprt-modern"
 public option dof_ontologies : string = "Isabelle_DOF.technical_report Isabelle_DOF.scholarly_paper"
   -- "Isabelle/DOF ontologies (separated by blanks)"
 
-option dof_version : string = "Unreleased" 
+option dof_version : string = "1.3.0" 
   -- "Isabelle/DOF version" 
      (* "Unreleased" for development, semantic version for releases *)
 
 option dof_isabelle : string = "2021-1" 
 option dof_afp : string = "afp-2021-12-28"
 
-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_latest_version : string = "1.3.0"    
+option dof_latest_isabelle : string = "Isabelle2021-1"
+option dof_latest_doi : string = "10.5281/zenodo.6810799"
 option dof_generic_doi : string = "10.5281/zenodo.3370482"
 
 option dof_url : string = "https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"