From c65984c26e7f81c087929f64121ebfb62dfa25b8 Mon Sep 17 00:00:00 2001
From: Robbert <gitlab-sws@robbertkrebbers.nl>
Date: Thu, 14 Dec 2017 13:35:22 +0100
Subject: [PATCH] Link to std++ in the Changelog.

---
 CHANGELOG.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index d78465572..4bae6fe6b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -27,7 +27,8 @@ Changes in and extensions of the theory:
 
 Changes in Coq:
 
-* Move the `prelude` folder to its own project: std++
+* Move the `prelude` folder to its own project:
+  [coq-std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp)
 * Some extensions/improvements of heap_lang:
   - Improve handling of pure (non-state-dependent) reductions.
   - Add fetch-and-add (`FAA`) operation.
-- 
GitLab