Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-10-26 | doc: apply `make format` | Jörg Thalheim | |
2018-10-19 | coqPackages: update documentation to mention coq.ocamlPackages attribute | Théo Zimmermann | |
2018-05-01 | nixpkgs docs: format =) | Graham Christensen | |
2017-12-19 | coqPackages docs: fix typo (and thus manual build) | Vladimír Čunát | |
2017-12-18 | coqPackages: update documentation | Vincent Laporte | |
2015-12-19 | nixpkgs manual: split languages into separate files | Vladimír Čunát | |
There's no change in content except for amending the title of the section to mention "frameworks", as e.g. I don't consider Qt a language, and it's likely there will be more of similar cases in future. To be certain, I checked diff of the generated HTMLs. |