User-agent: *
Disallow: /2008/
Disallow: /2009/
Disallow: /css/
Disallow: /images/
Disallow: /javascript/
Disallow: /sections/
Disallow: /classes/
Disallow: /required/
Disallow: /proofs/