User-agent: * 
Disallow: /docs/
Disallow: /cgi-bin/
Disallow: /Library/
Disallow: /proof/
Disallow: /style/
Disallow: /Templages/
Disallow: /alttxt.js
Disallow: /core.htm
Disallow: /hello.php