# /robots.txt file for http://cntext.optimath.com

User-agent: * 
Disallow: /