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