User-agent: *
Disallow: /wims/modules
Disallow: /wims/instex
Disallow: /wims/mathfonts
Disallow: /wims/bases
Disallow: /~wims/modules
Disallow: /~wims/instex
Disallow: /~wims/mathfonts
Disallow: /~wims/bases
Disallow: /instex
Disallow: /helps
Disallow: /manual
Disallow: /mathfonts
Disallow: /modules
Disallow: /Doc
Disallow: /download
Disallow: /private
Disallow: /knowims/iso