User-agent: *
Disallow: /pipermail/
Disallow: /~edlang/
Disallow: /software/
Disallow: /misc/
Disallow: /cgi-bin/