User-Agent: *
Disallow: /twiki
Disallow: /~thomas/papers