Commit eef2610d authored by POTTIER Francois's avatar POTTIER Francois

Recommend a recent version of opam.

parent 118d8bd1
......@@ -174,7 +174,7 @@ exercises are used to evaluate the students that follow the full
course. Only the partial exam will count to grade students who split the
Only course notes and hand written notes are allowed for the exams.
Only course notes and hand-written notes are allowed for the exams.
Although the course has changed, you may still have a look at previous exams
available with solutions:
......@@ -214,6 +214,7 @@ available with solutions:
## Recommended software
Please install [opam]( first.
A recent version is recommended (at the time of writing, 2.0.5).
If you have installed it already, skip this step.
Then, install OCaml 4.0x, Coq **8.5.3** and AutoSubst by executing
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