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

Allow: /wims/modules/Lang/greek/ancientgreekinit.fr/images/*

User-agent: proximic
Disallow: /wims/

User-agent: MJ12Bot
Disallow: /

User-agent: PetalBot
Disallow: /

User-agent: AspiegelBot
Disallow: /

User-agent: AhrefsBot
Disallow: /

User-agent: SEMrushBot
Disallow: /

User-agent: DotBot
Disallow: /

User-agent: MauiBot
Disallow: /