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