User-agent: *
Disallow: /intra/
Disallow: /~bart/student/
Disallow: /B.Jacobs/student/