Version 7 of DKF

Updated 2009-06-15 08:54:10 by dkf

Short for Donal Fellows, one of the wikignomes.

---