#
# robots.txt for http://www.w3.org/
#
# $Id: robots.txt,v 1.50 2007/12/13 17:09:37 ted Exp $
#

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

User-agent: W3T_SE
Disallow: /intranet

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

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

# exclude some access-controlled areas
User-agent: *
Disallow: /intranet