Vincent Laporte a65767a0b4 nixpkgs manual: packaging coq libraries		2014-09-28 22:02:36 +01:00
..
old
coding-conventions.xml
contributing.xml	doc: add section how to build the manual	2014-07-27 15:21:17 +02:00
default.nix	Nixpkgs manual: Add a Nix expression to build	2014-08-24 11:03:55 +02:00
introduction.xml
language-support.xml	nixpkgs manual: packaging coq libraries	2014-09-28 22:02:36 +01:00
manual.xml	Nixpkgs manual: Add a Nix expression to build	2014-08-24 11:03:55 +02:00
meta.xml	Add a few meta-attribute descriptions; rewrite the meta-attribure list description to mean that it is expected that all used meta-attributes are described in the manual.	2014-09-03 02:10:00 +04:00
package-notes.xml
quick-start.xml	remove bittorrent package since it's obsolete	2014-09-05 22:49:31 +02:00
quote-literals.xsl
release-notes.xml	Fix trivial spelling mistake in docs	2014-06-13 11:11:27 +01:00
stdenv.xml	Fix trivial spelling mistake in docs	2014-06-13 11:11:27 +01:00
style.css