Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
ChangeLog 2023-06-18 16:19 13K
README.md 2022-01-25 13:38 4.1K
animate.pdf 2023-06-18 16:19 3.6M
animate.sty 2023-06-18 16:18 135K
animate.tex 2023-06-18 16:12 82K
files/ 2023-06-18 15:52 -