# robots.txt for http://www-chaos.umd.edu
User-agent: *
Disallow: /cgi-bin /images /admin /arrows /balls /buttons /lines /newstuff /formula
Disallow: /history/normchars /history/bigchars /history/picts