# robots.txt for http://co4.inrialpes.fr

User-agent: *
Disallow: /agent		# Password protected
Disallow: /anton		# Password protected
Disallow: /bases		# text for generating knowledge base
Disallow: /CO4-*		# text for generating knowledge base
Disallow: /cgi-bin		# CGI scripts
# Disallow: /exmo			# found otherwise
Disallow: /gif			# no use
Disallow: /test			# test hytropes site (junk)
Disallow: /official		# hytropes site for test
Disallow: /raj			# Password protected
Disallow: /mbox			# Password protected
Disallow: /java/tree		# java code
Disallow: /java/TreeDisplayApplet.java
Disallow: /java/TreeDisplayApplet.class