about summary refs log tree commit diff
path: root/doc/languages-frameworks/coq.xml
AgeCommit message (Expand)AuthorFilesLines
2019-09-18doc: re-formatJan Tojnar1-16/+4
2018-10-26doc: apply `make format`Jörg Thalheim1-2/+2
2018-10-19coqPackages: update documentation to mention coq.ocamlPackages attributeThéo Zimmermann1-4/+3
2018-05-01nixpkgs docs: format =)Graham Christensen1-29/+31
2017-12-19coqPackages docs: fix typo (and thus manual build)Vladimír Čunát1-1/+1
2017-12-18coqPackages: update documentationVincent Laporte1-13/+35
2015-12-19nixpkgs manual: split languages into separate filesVladimír Čunát1-0/+41