User-agent: *
Disallow: /img/latex2html
Disallow: /intra
Disallow: /java
Disallow: /js-tutorial
Disallow: /pub