User-agent: * 
Disallow: /_private/
Disallow: /cgi-bin/
Disallow: /content/
Disallow: /Docs/
Disallow: /gallery/
Disallow: /images/
Disallow: /menu/
Disallow: /proof/
Disallow: /snippetmaster/
Disallow: /wip/
Disallow: /main.css
Disallow: /javamain.js