Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - DSSerif-drv.tex 2018-05-01 20:51 401 adjustments.mtx 2018-05-01 20:55 530 mathalfij.etx 2021-10-18 01:05 2.4K mathalfijB.etx 2018-05-01 20:25 2.2K notes.txt 2018-05-01 23:11 1.1K