| Age | Commit message (Collapse) | 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 | |
| - make explicit that members of the enforcement team shouldn't be at once participant in a discussion and moderators; - try to be more positive by defending a pedagogical approach to address most violations. | |||
| 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