Barry Smith Mon, 28 Nov 2005 15:12:05 -0600 (CST)
I have removed the petsc-dev/todo file and put all the (many, many) entries into the src/docs/website/developers/projects.html file.
Barry