Name Last modified Size Parent Directory - shuffle.pdf 2008-10-27 21:12 289K shuffle.dtx 2008-10-27 21:08 6.4K shuffle10.mf 2008-10-27 21:14 4.7K shuffle7.mf 2008-10-27 21:14 4.7K shuffle.mf 2008-10-27 21:14 1.4K shuffle.ins 2008-10-27 21:10 576