#
# robots.txt for http://algos.inesc.pt/
#


#
# Joao's restrictions on robots.
#

User-agent: *    # applies to all robots
Disallow: ~jpms/docs
Disallow: ~jpms/doc
Disallow: ~jpms/local
Disallow: ~jpms/man
Disallow: ~jpms/programs
Disallow: ~jpms/spire99
Disallow: ~jpms/vlsi99
Disallow: ~jpms/web-resources
Disallow: /~aplf