User-agent: * 
Disallow: /cgi-bin/
Disallow: /w/
Disallow: /wiki/Special:Random
Disallow: /wiki/Special:Search
Allow: /w/sitemap.xml
Sitemap: http://www.proofwiki.org/w/sitemap.xml
Sitemap: http://www.proofwiki.org/wiki/ProofWiki:NewsFeeds/Latest_Proofs?feed=rss
Sitemap: http://www.proofwiki.org/wiki/ProofWiki:NewsFeeds/Latest_Definitions?feed=rss
Disallow: /wiki/Template:Begin-equation
Disallow: /wiki/Template:End-equation
Disallow: /wiki/Template:Equation
Disallow: /wiki/Template:*