#
# robots.txt for http://www.w3.org/
#
# $Id: robots.txt,v 1.48 2007/11/8 05:31:15 gerald Exp $
#

# For use by search.w3.org
User-agent: W3C-gsa
Disallow: /Out-Of-Date

User-agent: W3T_SE
Disallow: /Out-Of-Date

User-agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT; MS Search 4.0 Robot)
Disallow: /

# W3C Link checker
User-agent: W3C-checklink
Disallow:

# exclude some access-controlled areas
User-agent: *
Disallow: /cgi-bin/
Disallow: /tmp/
Disallow: /images/