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