Age | Commit message (Expand) | Author |
---|---|---|
2021-10-13 | coq2html: 1.2 → 1.3 | Vincent Laporte |
2021-05-09 | coq2html: 20170720 -> 1.2 | Ben Siraphob |
2021-01-11 | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch |
2020-10-27 | treewide: remove package names from prefix of descriptions | Ben Siraphob |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly |
2019-08-17 | treewide: name -> pname | volth |
2018-11-15 | coq2html: switch to default make | Piotr Bogdan |
2018-07-21 | pkgs/*: remove unreferenced function arguments | volth |
2017-08-01 | coq2html: New expression | John Wiegley |
2017-07-20 | Revert "coq2html: New expression" | Franz Pletz |
2017-07-20 | coq2html: New expression | John Wiegley |