# /robots.txt file for http://www.theory.lcs.mit.edu/
# mail webmaster@theory.lcs.mit.edu

User-agent: *
Disallow: /cachet
Disallow:/~cachet