From 6ee424d9ba596d9557ffb8844ebe9bffa4c4e262 Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Wed, 28 Oct 2020 11:09:17 +0100
Subject: [PATCH] Referenced commit og original POPL20 submission

---
 papers/LMCS.md   | 2 +-
 papers/POPL20.md | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/papers/LMCS.md b/papers/LMCS.md
index d0a3a0f..81a8db9 100644
--- a/papers/LMCS.md
+++ b/papers/LMCS.md
@@ -1,6 +1,6 @@
 ## Examples
 
-The examples of the original POPL20 paper are covered in
+Differences from the original POPL20 paper alon with examples thereof are covered in
 [papers/POPL20.md](POPL20.md).
 
 The following list gives a mapping between the additional examples in the
diff --git a/papers/POPL20.md b/papers/POPL20.md
index 4a14353..caef8ab 100644
--- a/papers/POPL20.md
+++ b/papers/POPL20.md
@@ -1,3 +1,5 @@
+The state of the repository at the time of publication can be found at
+[https://gitlab.mpi-sws.org/iris/actris/-/tree/POPL20](https://gitlab.mpi-sws.org/iris/actris/-/tree/POPL20)
 
 ## Examples
 
-- 
GitLab