Release 372

release-372

Appendix

Release 371

release-371

Information about figure captions

Release 370

release-370

Add labels

Release 369

release-369

Add a writing idea

Release 368

Make minted custom lexers work again (#37)

minted 2.7 changed its behaviour to not allow for custom command
line options, which broke our custom lexer definitions. Here is
a similar bug reported: https://github.com/gpoore/minted/issues/360.

This commit adds a new minted option that allows custom lexers to work
wiht newer texlive distributions. We also enhance our CI to check that
the paper builds with old and new textlive distributions.

Release 366

release-366

Provide error message when we cannot build a commit

Release 365

release-365

Provide error message when we cannot build a commit

Release 363

release-363

Fix minted

Release 362

release-362

Fix minted

Release 360

release-360

Fix minted