portsurvey log for http://www.cs.technion.ac.il

> http://www.cs.technion.ac.il/users/c2ps/c2ps-4.0.tar.gz ok
> http://www.cs.technion.ac.il/~irit/ ok
> http://www.cs.technion.ac.il/~irit/irit-sm.zip ok