summary refs log tree commit diff
path: root/doc/languages-frameworks/coq.xml
AgeCommit message (Expand)AuthorFilesLines
2015-12-19nixpkgs manual: split languages into separate filesVladimír Čunát1-0/+41