User-agent: *

# This is internal stuff
#
Disallow: /app_data/
Disallow: /classes/
Disallow: /docs/
Disallow: /ii/
Disallow: /local/
Disallow: /project/hpf+/
Disallow: /shtml/
Disallow: /teach/
Disallow: /themes/
Disallow: /~bib/
Disallow: /~martin/
Disallow: /~sturm/