From 718d759bd638082bfa23d4a9dd8eedc9e9e4af29 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 18 Aug 2019 21:15:51 +0100
Subject: [PATCH] Re-set version to UNRELEASED.

---
 .config      | 2 +-
 CHANGELOG.md | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/.config b/.config
index 64ef7c7..2408de1 100644
--- a/.config
+++ b/.config
@@ -1,5 +1,5 @@
 # Isabelle/DOF Version Information
-DOF_VERSION="1.0.0"    
+DOF_VERSION="Unreleased"    # "Unreleased" for development, semantic version for releases 
 DOF_LATEST_VERSION="1.0.0"    
 DOF_LATEST_ISABELLE="Isabelle2019"    
 DOF_LATEST_DOI="10.5281/zenodo.3370483"
diff --git a/CHANGELOG.md b/CHANGELOG.md
index d730466..9214391 100644
--- a/CHANGELOG.md
+++ b/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.0.0 - 2018-08-18
 
 ### Added