Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
manifest.txt 2025-02-06 19:36 51
README.md 2025-02-06 19:36 685
index.ins 2025-02-06 04:15 716
sample.tex 2025-02-06 19:36 1.4K
index.dtx 2025-02-06 19:34 44K
index.pdf 2025-02-06 19:36 292K