# robots.txt for http://bach.istc.kobe-u.ac.jp/

User-agent: *
#
Disallow: ?C=D;O=A
# CGI
Disallow: /cgi-bin/
Disallow: /perl/
# Log
Disallow: /log/
Disallow: /llprover/llproverstat.html
Disallow: /llp/cryptstat.html
Disallow: /csp2sat/gcp/log/
Disallow: /csp2sat/jss/log/
Disallow: /csp2sat/oss/log/
# Local or personal
Disallow: /hanshinsen/
Disallow: /ous/
# Huge
Disallow: /mma/info/
Disallow: /mma/Listing.txt
Disallow: /mma/publications.html