User-agent: *
Disallow: /cgi-bin/
Disallow: /misc/
Disallow: /lectures/
Disallow: /sign_up/
Disallow: /versions/
Disallow: /manual/
Disallow: /user_tools/
Disallow: /core_admin/
Disallow: /core_users/
Disallow: /vectornti/