Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - graph.dtx 2022-01-05 15:58 370 video.dtx 2022-01-05 15:58 752 desmos.dtx 2024-05-08 19:48 854 include.dtx 2020-01-24 16:30 887 google.dtx 2018-10-28 17:58 1.2K javascript.dtx 2018-10-28 17:58 1.2K geogebra.dtx 2024-05-08 19:48 1.2K sagemath.dtx 2018-10-28 17:58 1.6K