When I'm teaching, I put files here for students' use. I'm not doing much teaching
these days, so I took down the site. If you need something that used to be here, send an
email to me (firstname.lastname@example.org) and I'll see what I can do.