Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - exercisepoints.pdf 2019-01-03 13:34 217K README.md 2019-01-03 13:27 2.9K exercisepoints.sty 2019-01-03 13:27 11K exercisepoints.tex 2019-01-02 18:17 19K