summaryrefslogtreecommitdiffstats
path: root/doc/languages-frameworks/coq.xml
AgeCommit message (Collapse)Author
2018-10-26doc: apply `make format`Jörg Thalheim
2018-10-19coqPackages: update documentation to mention coq.ocamlPackages attributeThéo Zimmermann
2018-05-01nixpkgs docs: format =)Graham Christensen
2017-12-19coqPackages docs: fix typo (and thus manual build)Vladimír Čunát
2017-12-18coqPackages: update documentationVincent Laporte
2015-12-19nixpkgs manual: split languages into separate filesVladimír Čunát
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.