Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - sample.pdf 2021-02-23 10:58 66K sample.tex 2021-02-23 10:57 8.1K overlays.pdf 2021-02-23 10:57 36K overlays.tex 2021-02-23 10:57 5.2K ChangeLog 2021-02-23 10:45 1.9K README 2021-02-23 10:45 560 overlays.sty 2021-02-23 10:43 6.1K COPYING 2016-09-28 19:53 19K