Commit 02513979 authored by Ralf Jung's avatar Ralf Jung

tweaks

parent 9142dc50
......@@ -9,13 +9,6 @@ tab). If you want to report a bug, please use the
[issue tracker](https://gitlab.mpi-sws.org/FP/iris-coq/issues), which also
requires an MPI-SWS GitLab account.
Below, you can find some useful resources and an FAQ.
* Information on how to set up your editor for unicode input and output is
collected in [Editor.md](Editor.md).
* The Iris Proof Mode (IPM) / MoSeL is documented at [ProofMode.md](ProofMode.md).
* Naming conventions are documented at [Naming.md](Naming.md).
## How to submit a merge request
To contribute code, please send your MPI-SWS GitLab username to
......
......@@ -108,6 +108,12 @@ that should be compatible with this version:
* [Iris Atomic](https://gitlab.mpi-sws.org/FP/iris-atomic/) is an experimental
formalization of logically atomic triples in Iris.
## Notes for Iris Contributors
## Notes for Iris Developers
See the [contribution guide](CONTRIBUTING.md).
* Information on how to set up your editor for unicode input and output is
collected in [Editor.md](Editor.md).
* The Iris Proof Mode (IPM) / MoSeL is documented at [ProofMode.md](ProofMode.md).
* Naming conventions are documented at [Naming.md](Naming.md).
* The generated coqdoc is [available online](https://plv.mpi-sws.org/coqdoc/iris/).
To contribute to Iris itself, see the [contribution guide](CONTRIBUTING.md).
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