Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |