Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 80
Parent Directory - LICENSE.md 2023-09-07 16:38 1.0K README.md 2023-09-07 16:38 2.9K marginnote.dtx 2023-09-07 16:38 39K marginnote.pdf 2023-09-07 16:38 472K