# robots.txt for http://www.protagoras.tue.nl

User-agent: *
Disallow: /Languages
Disallow: /themes
Disallow: /forum