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