# robots.txt for http://www-doc.informatik.uni-tuebingen.de

User-agent: *
Disallow: /software/