Skip to content
Snippets Groups Projects

update for more general saved_prop

Merged update for more general saved_prop
ralf/saved_prop into master
Merged Ralf Jung requested to merge ralf/saved_prop into master
Viewing commit 51593b4a
Prev Next
Show latest version
2 files
+ 2
− 0
Compare changes
  • Side-by-side
  • Inline
Files
2
README.md
+ 1
− 0
@@ -9,6 +9,7 @@ This version is known to compile with:
@@ -9,6 +9,7 @@ This version is known to compile with:
- Coq 8.6.1 / 8.7.0
- Coq 8.6.1 / 8.7.0
- Ssreflect 1.6.4
- Ssreflect 1.6.4
- A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
- A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
 
- The coq86-devel branch of [Autosubst](https://github.com/uds-psl/autosubst)
The easiest way to install the correct versions of the dependencies is through
The easiest way to install the correct versions of the dependencies is through
opam. Once you got opam set up, just run `make build-dep` to install the right
opam. Once you got opam set up, just run `make build-dep` to install the right