../ README 03-Sep-2018 18:39 1164 yafoot-man.pdf 03-Sep-2018 18:56 264219 yafoot.dtx 03-Sep-2018 18:56 58695 yafoot.ins 10-Aug-1999 01:28 265