From 490169e28b882f8b1df49bf48bfcfc56b220662a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 19 Oct 2017 17:56:00 +0200
Subject: [PATCH] update README
---
README.md | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/README.md b/README.md
index 251213b6e..a1d92a2e2 100644
--- a/README.md
+++ b/README.md
@@ -56,9 +56,8 @@ CPU cores.
language
* The subfolder [lib](theories/heap_lang/lib) contains a few derived
constructions within this language, e.g., parallel composition.
- Most notable here is [lib/barrier](theories/heap_lang/lib/barrier), the
- implementation and proof of a barrier as described in
- <http://doi.acm.org/10.1145/2818638>.
+ For more examples of using Iris and heap_lang, have a look at the
+ [Iris Examples](https://gitlab.mpi-sws.org/FP/iris-examples).
* The folder [tests](theories/tests) contains modules we use to test our
infrastructure. Users of the Iris Coq library should *not* depend on these
modules; they may change or disappear without any notice.
--
GitLab