Filename Modification time Size README.md 2020-05-17 15:55 CEST 623 B exercises.dtx 2020-05-17 16:13 CEST 33 KiB exercises.ins 2020-05-17 16:13 CEST 1951 B exercises.pdf 2020-05-17 15:42 CEST 411 KiB