Commit fdda97e8 authored by Ralf Jung's avatar Ralf Jung
Browse files

document our breaking-changes-notification system

parent 3d135daa
......@@ -41,6 +41,11 @@ Either way, you can now do `opam install coq-iris`. To fetch updates later, run
backwards-compatibility, so upgrading Iris may break your Iris-using
The development version of Iris is regularly subject to breaking changes. If
you want to be notified of such changes, please let us know your account name on
the [MPI-SWS GitLab]( so we can add you to the
notification group.
### Working *on* Iris
To work on Iris itself, you need to install its build-dependencies. Again we
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