user-agent: *
disallow: /bio.html
disallow: /edge.html
disallow: /other/pdfex.tex
disallow: /other/pdfex.txt
disallow: /other/pdfex.pdf
disallow: /other/temp1.eps
disallow: /other/temp1.txt
disallow: /other/temp1.png
disallow: /other/caps.txt
disallow: /changelog.html
disallow: /links.html
disallow: /fig