Name Last modified Size Parent Directory - minidocument.ins 2017-04-11 01:10 753 Makefile 2017-04-11 19:25 1.1K minidocument.dtx 2017-04-11 18:32 9.7K minidocument.pdf 2017-04-11 18:32 183K