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