Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
footnoterange.pdf 2025-01-27 19:34 328K
footnoterange.dtx 2025-01-27 19:34 42K
footnoterange-example.pdf 2025-01-27 19:34 134K
README 2025-01-27 19:34 4.9K