Name Size Parent Directory - 20080525-141-h.zip 334K 20080525-141.txt 901K 20080525-141.zip 330K mansf10.txt 894K mansf10.zip 328K mansf10p.pdf 1.1M mansf10pf.pdf 1.2M mansf10t.tex 887K