Michael Färber de31a5ce59

Document how to cite sources with special characters. (#3261) ...

Co-authored-by: Laurenz <laurmaedje@gmail.com>

2024-01-30 14:37:33 +00:00

..

files

Document how to cite sources with special characters. (#3261)

2024-01-30 14:37:33 +00:00

fonts

Bump New Computer Modern fonts to version 5.02 (#3072)

2024-01-04 17:21:56 +00:00