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