Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-10-26 | doc: apply `make format` | Jörg Thalheim | 1 | -2/+2 |
2018-10-19 | coqPackages: update documentation to mention coq.ocamlPackages attribute | Théo Zimmermann | 1 | -4/+3 |
2018-05-01 | nixpkgs docs: format =) | Graham Christensen | 1 | -29/+31 |
2017-12-19 | coqPackages docs: fix typo (and thus manual build) | Vladimír Čunát | 1 | -1/+1 |
2017-12-18 | coqPackages: update documentation | Vincent Laporte | 1 | -13/+35 |
2015-12-19 | nixpkgs manual: split languages into separate files | Vladimír Čunát | 1 | -0/+41 |