#
#  $Id: robots.txt,v 1.6 2004/11/01 01:48:01 mriem Exp $
#

User-Agent: *
Disallow: /cgi-bin/
Disallow: /download/
Disallow: /icons/
Disallow: /images/
Disallow: /stats/

#
# Additional disallows to get rid of Crawler entries to old stuff.
#

Disallow: /about
Disallow: /archive
Disallow: /projects/OpenMath
Disallow: /~olga
Disallow: /~cristian