[Iris-Club] Iris 2.0

[Ralf Jung]

Hi all,

I recently tagged version 2.0 of the Iris Coq development in the git
repository.  This is the version accompanying the ICFP 2016 paper
"Higher-Order Ghost State", and compared to Iris 1.1 it is a complete
re-write.

Fur further details, you can find the current version of the Iris
Documentation (should be in sync with the Coq development right now), as
well as the Coq sources and the new Iris paper, on the Iris website:
<http://plv.mpi-sws.org/iris/>.

Kind regards,
Ralf