Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2022-12-04 | doc: use sri hash syntax | Colin Arnott | 1 | -1/+1 |
2021-12-18 | doc: minimize mentions of nix-env -i without -A in nixpkgs manual | Guillaume Girol | 1 | -4/+1 |
2021-06-07 | doc: prepare for commonmark | Jan Tojnar | 1 | -12/+14 |
2021-04-05 | doc/languages-frameworks/*: add missing languages to code fences | Sandro Jäckel | 1 | -9/+9 |
2021-01-20 | doc: add function argument order convention (#110060) | V | 1 | -5/+5 |
2021-01-01 | doc: explicit Markdown anchors for top-level headings; remove metadata | Ryan Mulligan | 1 | -1/+1 |
2020-02-16 | manual: use quoted homepage urls | Jonathan Ringer | 1 | -1/+1 |
2019-10-20 | doc: organize chapters into parts, and reduce toc depth | Frederik Rietdijk | 1 | -1/+1 |
2019-08-06 | build-idris-package: add documentation on idris commands options | Marco Perone | 1 | -0/+18 |
2019-06-15 | doc/idris: Fix install instructions | Silvan Mosberger | 1 | -2/+13 |
2018-11-12 | nixpkgs idris docs: Update and improve | Silvan Mosberger | 1 | -28/+104 |
2018-03-25 | Move all nixpkgs doc files in to the doc directory | Graham Christensen | 1 | -0/+39 |