Commit dbed0373 authored by Dan Frumin's avatar Dan Frumin

Update the README and bump the versions

parent 7ebb1345
......@@ -4,5 +4,19 @@ This version is known to compile with:
- Coq 8.6
- Ssreflect 1.6
- Autosubst coq86-devel
- Iris version 094bee3c5d5faad515b419d3bf569925b22eab96
- Autosubst branch [coq86-devel](https://github.com/uds-psl/autosubst/tree/coq86-devel)
- std++ version [ee6200b4d74bfd06034f3cc36d1afdc309427e5c](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/tree/ee6200b4d74bfd06034f3cc36d1afdc309427e5c)
- Iris version [398bae9d092b6568cf8d504ca98d8810979eea33](https://gitlab.mpi-sws.org/FP/iris-coq/tree/398bae9d092b6568cf8d504ca98d8810979eea33)
# Compilation
```
coq_makefile -f _CoqProject -o Makefile
make
```
# Documentation
See [refman.md](docs/refman.md).
Work in progress.
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