Commit 36d2a361 authored by MEVEL Glen's avatar MEVEL Glen

updated instructions for opam

parent 3c5b1c17
......@@ -6,12 +6,17 @@ The project is known to compile with:
### Step 1: Install opam
See instructions [there][install-opam]; then:
_If opam is not already installed:_See instructions [there][install-opam] to
install it; then:
opam init --comp=4.06.1
(This will create a `~/.opam` directory.)
_If opam is already installed:_ Create a new switch for the project:
opam switch -A 4.06.1 iris-time-proofs
### Step 2: Install Coq
opam repo add coq-released https://coq.inria.fr/opam/released
......
Markdown is supported
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