# robots.txt on KMi Internet Server
# created 01/12/2000 by Paul Alexander

# allow access to root plus:

User-agent: *
Disallow: /cgi-bin
Disallow: /tr
Disallow: /CFIDE
Disallow: /cfide
Disallow: /admin
Disallow: /phpmyadmin
Disallow: /diary
Disallow: /img
Disallow: /search
Disallow: /stats
Disallow: /courses
Disallow: /ibm
Disallow: /projects2
Disallow: /~simonb
Disallow: /visits
Disallow: /kmi-speakers
Disallow: /internal
Disallow: /~peters
Disallow: /~enrico
Disallow: /~zdenek
Disallow: /~marco
Disallow: /~paulm
Disallow: /~john
Disallow: /marc
Disallow: /rose
Disallow: /sbs