Name Last modified Size Description
Parent Directory - bigfoot.ins 2006-07-16 02:00 1.2K suffix.dtx 2006-07-16 02:00 8.5K perpage.dtx 2006-07-16 02:00 18K suffix.pdf 2007-08-13 15:32 71K perpage.pdf 2007-08-13 15:32 77K bigfoot.pdf 2007-08-13 15:32 99K bigfoot.dtx 2006-07-16 02:00 128K