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