User-agent: *
Disallow: /~
Disallow: /calendar_all.php
Disallow: /cleancrumbs.php
Disallow: /contact.php
Disallow: /email_this_page.php
Disallow: /print.php
Disallow: /serials/search.php
Disallow: /session_calendar_update.php
Disallow: /session_page_index_update.php
Disallow: /session_resource_index_update.php
Disallow: /users