The files derfun.ps and derfun.pdf are now at ftp.math.mcgill.ca/pub/barr for anonymous ftp. It does what I promised a few weeks ago: derived functors in the absence of enough projectives.