From 06b0a45b1c1bf789a7bedf825146227499f04381 Mon Sep 17 00:00:00 2001
From: Olivier Laurent <olivier.laurent@ens-lyon.fr>
Date: Wed, 23 Jan 2019 09:20:17 +0100
Subject: [PATCH] date for v2.0

---
 RELEASE_NOTES.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 4454246..00a9992 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -1,6 +1,6 @@
 # YALLA: an LL library for Coq
 
-## v 2.0 (2019/01/??)
+## v 2.0 (2019/01/23)
 
 This major revision is based on a representation of proofs in `Type` rather than `Prop`.
 For this reason it is *not compatible with version 1.0*.
@@ -17,5 +17,5 @@ Tested with Coq v 8.8.2.
 
 ## v 1.0 (2017/07/18)
 
-First public release
+First public release.