Name Last modified Size Description Parent Directory - minidocument.pdf 2017-04-11 09:32 183K minidocument.dtx 2017-04-11 09:32 9.7K Makefile 2017-04-11 10:25 1.1K minidocument.ins 2017-04-10 16:10 753 README 2017-04-11 09:28 698