Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - randomid.dtx 2024-11-19 10:47 499 core.dtx 2024-11-19 10:47 512 icons.dtx 2024-11-19 10:47 3.0K misc.dtx 2024-11-19 10:47 4.8K tikz.dtx 2024-11-19 10:47 5.3K compound.dtx 2024-11-19 10:47 5.7K bb.dtx 2024-11-19 10:47 6.3K export.dtx 2024-11-19 10:47 31K