# robots.txt for http://www.example.com/

User-agent: *
# This is an infinite virtual URL space
Disallow: /conference-papers/
Disallow: /library/
Disallow: /tools/
Disallow: /images/
Disallow: /tmp/