Switched back to unreleased.

CHANGELOG.md

@@ -5,6 +5,12 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](http://keepachangelog.com/en/1.0.0/)
 and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.html).
 
+## [Unreleased]
+
+### Added
+
+### Changed
+
 ## [1.3.0] - 2022-07-08
 
 ### Changed

etc/options

@@ -8,7 +8,7 @@ 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 = "1.3.0" 
+option dof_version : string = "Unreleased" 
   -- "Isabelle/DOF version" 
      (* "Unreleased" for development, semantic version for releases *)