Commit 65bd2aff authored by Ralf Jung's avatar Ralf Jung
Browse files

README: fix typo

parent d4465f6e
Pipeline #37280 passed with stage
in 44 minutes and 21 seconds
...@@ -10,7 +10,7 @@ This tutorial comes in two versions: ...@@ -10,7 +10,7 @@ This tutorial comes in two versions:
For the tutorial material you need to have the following dependencies installed: For the tutorial material you need to have the following dependencies installed:
- Coq 8.10.2 / 8.11.2 / 8.12.0 - Coq 8.10.2 / 8.11.2 / 8.12.0
- A development version of [Iris](https://gitlab.mpi-sws.org/iris/iris) - 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 *Note:* the tutorial material will not work with earlier versions of Iris, it
is important to install the exact versions as described below. is important to install the exact versions as described below.
......
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