Commit 0895e86a authored by Ralf Jung's avatar Ralf Jung
Browse files

fix and clean up README

parent 4137ea01
Pipeline #34791 passed with stage
in 18 minutes and 42 seconds
......@@ -13,11 +13,7 @@ For the tutorial material you need to have the following dependencies installed:
- A development version of [Iris](https://gitlab.mpi-sws.org/iris/iris)
*Note:* the tutorial material will not work with earlier versions of Iris, it
is important to install the exact versions as given above.
For a tutorial that works with Coq 8.6, and that can be installed without opam,
please check out the
[version of this tutorial for Iris 3.1](https://gitlab.mpi-sws.org/iris/tutorial-popl18/tree/iris-3.1.0).
is important to install the exact versions as described below.
## Installing Iris via opam
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment