| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: remove package names from prefix of descriptions | Ben Siraphob | 2020-10-27 |
| * | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
| * | treewide: name -> pname | volth | 2019-08-17 |
| * | coq2html: switch to default make | Piotr Bogdan | 2018-11-15 |
| * | pkgs/*: remove unreferenced function arguments | volth | 2018-07-21 |
| * | coq2html: New expression | John Wiegley | 2017-08-01 |
| * | Revert "coq2html: New expression" | Franz Pletz | 2017-07-20 |
| * | coq2html: New expression | John Wiegley | 2017-07-20 |