2023-06-04 | Mart Lubbers | comments ms | commit | commitdiff |
2023-03-07 | Mart Lubbers | process many comments | commit | commitdiff |
2023-03-06 | Mart Lubbers | process all comments | commit | commitdiff |
2023-03-06 | Mart Lubbers | migrate to biblatex | commit | commitdiff |
2023-03-06 | Mart Lubbers | more comments, next up: migrate to biblatex | commit | commitdiff |
2023-03-01 | Mart Lubbers | process rinus' comments | commit | commitdiff |
2023-02-22 | Mart Lubbers | bib | commit | commitdiff |
2023-02-20 | Mart Lubbers | split up more and updatE | commit | commitdiff |
2023-02-16 | Mart Lubbers | updates | commit | commitdiff |
2023-02-14 | Mart Lubbers | more structure | commit | commitdiff |
2023-02-13 | Mart Lubbers | fix minor errors, split up preamble | commit | commitdiff |