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