User-agent: *
Disallow: /_borders/
Disallow: /_fpclass/
Disallow: /_private
Disallow: /admin/
Disallow: /button/
Disallow: /banner/
Disallow: /doku/
Disallow: /pics/
Disallow: /tables/
Disallow: /cgi-bin/
Disallow: /styles/
Disallow: /error/
Disallow: /Isabelle/
Disallow: webcam_tu.htm