5 commits

Author	SHA1	Message	Date
Théo Zimmermann	668c19a9ac	coqPackages: update documentation to mention coq.ocamlPackages attribute	2018-10-19 10:29:49 +02:00
Graham Christensen	77161de454	nixpkgs docs: format =)	2018-05-01 19:54:21 -04:00
Vladimír Čunát	1bc288591e	coqPackages docs: fix typo (and thus manual build)	2017-12-19 11:34:54 +01:00
Vincent Laporte	5642f4ac6f	coqPackages: update documentation	2017-12-18 15:30:37 +00:00
Vladimír Čunát	ef21e5ee60	nixpkgs manual: split languages into separate files ... There's no change in content except for amending the title of the section to mention "frameworks", as e.g. I don't consider Qt a language, and it's likely there will be more of similar cases in future. To be certain, I checked diff of the generated HTMLs.	2015-12-19 16:08:00 +01:00