From b71f6a09e8e6e645bde52c78a378d418bf42eaf7 Mon Sep 17 00:00:00 2001
From: Mackie Loeffel <mackie.loeffel@web.de>
Date: Thu, 22 Nov 2018 13:42:42 +0100
Subject: [PATCH] Add link to docs to the Readme

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 54b64627..af78d391 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Coq-std++
+# Coq-std++ [[coqdoc]](https://plv.mpi-sws.org/coqdoc/stdpp/)
 
 This project contains an extended "Standard Library" for Coq called coq-std++.
 The key features of this library are as follows:
-- 
GitLab