| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | doc: convert coq to commonmark | Stephen OBrien | 2020-11-27 |
| * | doc: re-format | Jan Tojnar | 2019-09-18 |
| * | doc: apply `make format` | Jörg Thalheim | 2018-10-26 |
| * | coqPackages: update documentation to mention coq.ocamlPackages attribute | Théo Zimmermann | 2018-10-19 |
| * | nixpkgs docs: format =) | Graham Christensen | 2018-05-01 |
| * | coqPackages docs: fix typo (and thus manual build) | Vladimír Čunát | 2017-12-19 |
| * | coqPackages: update documentation | Vincent Laporte | 2017-12-18 |
| * | nixpkgs manual: split languages into separate files | Vladimír Čunát | 2015-12-19 |