User-agent: *
Disallow: /workspace/
Disallow: .dsal.html
Disallow: .philo.html
Disallow: /cgi-bin/