Cyril Cohen 9ffd16b385 coqPackages: refactor		2021-01-09 11:56:17 +01:00
..
builders	doc: explicit Markdown anchors for top-level headings; remove metadata	2021-01-01 10:02:57 -08:00
contributing	doc: Add staging workflow diagram	2020-12-09 05:26:55 +01:00
doc-support	Revert "make-tarball.nix: Restore the 'commit' field in packages.json"	2020-03-29 20:57:50 +02:00
functions	Merge pull request #68491 from roberth/fix-dontRecurseIntoAttrs	2020-03-01 11:05:34 +01:00
languages-frameworks	coqPackages: refactor	2021-01-09 11:56:17 +01:00
old	doc/*: editorconfig fixes	2020-07-31 15:06:53 +10:00
stdenv	doc/stdenv/cross-compilation.chapter.md typo	2020-12-15 15:57:27 +01:00
using	tree-wide: do not use pkgs.extend in nixpkgs	2020-11-30 14:24:40 +01:00
.gitignore	doc: format the documentation (#57102)	2019-03-08 21:07:11 -08:00
default.nix	doc: Add staging workflow diagram	2020-12-09 05:26:55 +01:00
functions.xml	doc: move fhs and mkShell under builders/special	2019-10-21 11:39:46 +02:00
Makefile	doc: Add staging workflow diagram	2020-12-09 05:26:55 +01:00
manual.xml	Convert fetchers from DocBook to CommonMark	2020-12-17 12:00:49 -03:00
overrides.css	doc: Make callout marks in code unselectable	2020-01-14 15:24:57 +01:00
preface.chapter.md	doc: explicit Markdown anchors for top-level headings; remove metadata	2021-01-01 10:02:57 -08:00
release-notes.xml	treewide: use https for nixos.org and hydra.nixos.org	2020-05-03 22:14:21 -07:00
shell.nix	Generate links to function definitions	2018-10-05 11:20:46 -04:00
style.css	manual: limit text width	2019-01-08 15:08:42 +00:00