2023-03-08 | Mart Lubbers | kill all orphans and widows | tree | commitdiff |
2023-03-07 | Mart Lubbers | process many comments | tree | commitdiff |
2023-03-06 | Mart Lubbers | process all comments | tree | commitdiff |
2023-03-06 | Mart Lubbers | migrate to biblatex | tree | commitdiff |
2023-03-06 | Mart Lubbers | more comments, next up: migrate to biblatex | tree | commitdiff |
2023-03-01 | Mart Lubbers | process rinus' comments | tree | commitdiff |
2023-02-22 | Mart Lubbers | bib | tree | commitdiff |
2023-02-20 | Mart Lubbers | split up more and updatE | tree | commitdiff |
2023-02-15 | Mart Lubbers | updates | tree | commitdiff |
2023-02-14 | Mart Lubbers | more structure | tree | commitdiff |