User-agent: *
#Disallow: /~petricek/papers
Disallow: /%7E
Disallow: /%7e

User-agent: holmes
Disallow: /publ