# Exclude all robots from pages where indexing doesn't make sense.
# Simon Wiest. 14.12.2001
User-agent: *
Disallow: /lea/
Disallow: /ea/
Disallow: /virtugrade/
Disallow: /ti1/
Disallow: /local/

# Added by Philipp Vorst: let CiteSeer index only our relevant publications
# (10.10.2007)
User-agent: CiteSeerBot
Disallow: /publikationen/old
Disallow: /publikationen/other

# Added by Philipp Vorst: let CiteSeerX index only our relevant publications
# (13.10.2008)
User-agent: citeseerxbot
Disallow: /publikationen/old
Disallow: /publikationen/other

# Added by Philipp Vorst: let Google Scholar index only our relevant publications
# (16.06.2008)
User-agent: Googlebot
Allow: /
Disallow: /lea/
Disallow: /ea/
Disallow: /virtugrade/
Disallow: /ti1/
Disallow: /local/
Disallow: /publikationen/old
Disallow: /publikationen/other