From: Ralf Jung Date: Wed, 25 Jul 2018 14:32:38 +0000 (+0200) Subject: more academic pointers X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/6d6d6197cd8f857b57d0691657f20b1c49bb85dd?hp=6d6d6197cd8f857b57d0691657f20b1c49bb85dd more academic pointers ---