From 9117bed2098e574340f34148825cb1a57cf4619d Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 18 Aug 2019 10:39:42 +0100
Subject: [PATCH] Updated config for release 1.0.0/Isabelle2019.

---
 .config | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.config b/.config
index 4c5a6e2..8c8b05e 100644
--- a/.config
+++ b/.config
@@ -1,5 +1,7 @@
 # Isabelle/DOF Version Information
-DOF_VERSION="Unreleased"    # "Unreleased" for development, proper semantic 
+DOF_VERSION="1.0.0"    
+DOF_LATEST_VERSION="1.0.0"    
+DOF_LATEST_ISABELLE="Isabelle2019"    
 #
 # Isabelle and AFP Configuration
 ISABELLE_VERSION="Isabelle2019: June 2019"