User-agent: *
Disallow: /~stefan/Teaching/
Disallow: /SARlab/
Disallow: /trac/
Disallow: /svn/
Disallow: /upload/