# robots.txt
# web robot guide for the EDBT 2000 site
User-agent: *
Disallow: /Puma/
Disallow: /cgi-bin/
Disallow: /data/