User-agent: *
Disallow: /newsandprojects
Disallow: /cgi-bin
Disallow: /upload
Disallow: /proofs