Commit 8ee74283 authored by charguer's avatar charguer
Browse files

readme update

parent 51bbc4e3
......@@ -32,13 +32,14 @@ CFML 1.0 only works with Coq v8.8. Using OPAM, you might succeed in installing
CFML using the following commands.
```
opam switch create cfml_switch ocaml-base-compiler.4.07.0
opam repo add coq-released https://coq.inria.fr/opam/released
opam pin add coq-cfml https://gitlab.inria.fr/charguer/cfml.git
opam pin add coq 8.8.2
opam install pprint ocamlformat coq coqide coq-tlc coq-cfml coq-aac-tactics.8.8.0
opam switch create cfml_switch ocaml-base-compiler.4.07.0
opam install coq-cfml
```
The exact packages that work are:
coq.8.10.2 coq-aac-tactics.8.10.0 coq-tlc.20181116 coq-cfml.20181201.
Getting started
============
......
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