| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-05-20 | Adapt the documentation to the move from Gitter to Zulip. | Théo Zimmermann |
| 2018-12-10 | List members of the code of conduct enforcement team. | Théo Zimmermann |
| 2018-08-31 | Trying to make the code of conduct shorter and more to the point. | Théo Zimmermann |
| 2018-08-31 | Move paragraph on Coq-related subjects up. | Théo Zimmermann |
| 2018-08-31 | Add paragraph contributed by Cyril Cohen. | Théo Zimmermann |
| 2018-08-31 | Expand the section on enforcement: | Théo Zimmermann |
| 2018-08-31 | Make goal that everyone feel safe more explicit. | Théo Zimmermann |
| 2018-08-31 | Suggestions by Hugo. | Théo Zimmermann |
| 2018-08-31 | Permalink to Django code of conduct using Archive.org. | Théo Zimmermann |
| 2018-08-31 | Propose a Code of Conduct for Coq. | Théo Zimmermann |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/CODE_OF_CONDUCT.md