# robots.txt for http://dlmf.nist.gov/

User-agent: *
Disallow : /cgi-bin/
Disallow : /~SRessler/x3dom/x3domCaesar/