Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - minidocument.ins 2017-04-10 18:10 753 README 2017-04-11 11:28 698 minidocument.dtx 2017-04-11 11:32 9.7K minidocument.pdf 2017-04-11 11:32 183K Makefile 2017-04-11 12:25 1.1K