# robots.txt for http://num-lab.zib.de/
# Son Jan 15 12:15:00 MET DST 1997 Lutz Weimann
User-agent: *
Disallow: /public/nleqlab/user
Disallow: /public/odelab/bvpsol
Disallow: /public/odelab/global
Disallow: /public/odelab/ivpsol