about summary refs log tree commit diff
path: root/doc/languages-frameworks/coq.xml
AgeCommit message (Expand)AuthorFilesLines
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