----------------------------------------
# robots.txt for http://www.cs.rice.edu/

User-agent: *
Disallow: /~vardi/misc/
----------------------------------------