Skip to content
Snippets Groups Projects
Commit 0f31e622 authored by Ralf Jung's avatar Ralf Jung
Browse files

tweak docs some more

parent 5f0b7f09
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
CONTRIBUTING.md
+ 3
− 1
View file @ 0f31e622
...@@ -2,7 +2,9 @@ ...@@ -2,7 +2,9 @@
## How to submit a merge request ## How to submit a merge request
To contribute code, please send your MPI-SWS GitLab username to To contribute code, you need an
[MPI-SWS GitLab account](https://gitlab.mpi-sws.org/users/sign_in) (use the
"Register" tab). Please send your MPI-SWS GitLab username to
[Ralf Jung](https://gitlab.mpi-sws.org/jung) to enable personal projects for [Ralf Jung](https://gitlab.mpi-sws.org/jung) to enable personal projects for
your account. Then you can fork the your account. Then you can fork the
[Iris git repository](https://gitlab.mpi-sws.org/FP/iris-coq/), make your [Iris git repository](https://gitlab.mpi-sws.org/FP/iris-coq/), make your
......
README.md
+ 11
− 12
View file @ 0f31e622
...@@ -108,21 +108,20 @@ that should be compatible with this version: ...@@ -108,21 +108,20 @@ that should be compatible with this version:
* [Iris Atomic](https://gitlab.mpi-sws.org/FP/iris-atomic/) is an experimental * [Iris Atomic](https://gitlab.mpi-sws.org/FP/iris-atomic/) is an experimental
formalization of logically atomic triples in Iris. formalization of logically atomic triples in Iris.
## Notes for Iris Developers ## Further Resources
* Information on how to set up your editor for unicode input and output is * Information on how to set up your editor for unicode input and output is
collected in [Editor.md](Editor.md). collected in [Editor.md](Editor.md).
* The Iris Proof Mode (IPM) / MoSeL is documented at [ProofMode.md](ProofMode.md). * The Iris Proof Mode (IPM) / MoSeL is documented at [ProofMode.md](ProofMode.md).
* Naming conventions are documented at [Naming.md](Naming.md). * Naming conventions are documented at [Naming.md](Naming.md).
* The generated coqdoc is [available online](https://plv.mpi-sws.org/coqdoc/iris/). * The generated coqdoc is [available online](https://plv.mpi-sws.org/coqdoc/iris/).
* Discussion about the Iris Coq development happens on the mailing list
Discussion about the Iris Coq development happens on the mailing list [iris-club@lists.mpi-sws.org](https://lists.mpi-sws.org/listinfo/iris-club)
[iris-club@lists.mpi-sws.org](https://lists.mpi-sws.org/listinfo/iris-club) and and in the [Iris Chat](https://mattermost.mpi-sws.org/iris). This is also the
in the [Iris Chat](https://mattermost.mpi-sws.org/iris). This is also the right right place to ask questions. The chat requires an account at the
place to ask questions. The chat requires an account at the [MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in) (use the "Register"
[MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in) (use the "Register" tab).
tab). If you want to report a bug, please use the * If you want to report a bug, please use the
[issue tracker](https://gitlab.mpi-sws.org/FP/iris-coq/issues), which also [issue tracker](https://gitlab.mpi-sws.org/FP/iris-coq/issues), which also
requires an MPI-SWS GitLab account. requires an MPI-SWS GitLab account.
* To contribute to Iris itself, see the [contribution guide](CONTRIBUTING.md).
To contribute to Iris itself, see the [contribution guide](CONTRIBUTING.md).
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