# robots.txt file
# 
# purpose to World Wide Web Robots trawling your web site (or parts thereof)
# 
# For more info consult:
#   http://info.webcrawler.com/mak/projects/robots/norobots.html

User-agent: *
Disallow: /local
Disallow: /dav
Disallow: /gsd/ED4_abstracts
Disallow: /Experimentierkurs
Disallow: /manual
Disallow: /sfb616/reprint
Disallow: /pipermail
Disallow: /wm
Disallow: ~eckart/talks
Disallow: ~eckart/Ein-Gedi