Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80Name Last modified Size Description
Parent Directory -
minidocument.pdf 2017-04-11 10:32 183K
minidocument.ins 2017-04-10 17:10 753
minidocument.dtx 2017-04-11 10:32 9.7K
README 2017-04-11 10:28 698
Makefile 2017-04-11 11:25 1.1K