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