Referenced commit og original POPL20 submission

papers/LMCS.md

 ## 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

papers/POPL20.md

+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
 

[Robbert Krebbers]

alon : typo

[Robbert Krebbers]

That's a dead link since the branch name is lowercase.

[Jonas Kastberg]

Fixed this in a later commit 096c3d18