Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
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