Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
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