User-Agent: *
Disallow: /mono/
Disallow: /diary/
Disallow: /marbleglass/
Disallow: /coq/
Disallow: /flyaway/
Allow: /