Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - README.md 2023-07-28 17:04 776 spacingtricks.dtx 2023-12-06 17:10 36K spacingtricks.ins 2023-02-23 22:06 2.0K spacingtricks.pdf 2023-12-06 17:10 179K