portsurvey log for http://www.cs.cmu.edu

> http://www.cs.cmu.edu/~dpelleg/download/hunch-1.1.8.tar.gz ok
> http://www.cs.cmu.edu/~dpelleg/hunch.html ok
> http://www.cs.cmu.edu/~hnn/pathneck/ ok
> http://www.cs.cmu.edu/~hnn/pathneck/pathneck-1.3.tgz ok
> http://www.cs.cmu.edu/~modelcheck/smv.html ok
> http://www.cs.cmu.edu/~modelcheck/smv/smv.r2.5.4.3.tar.gz ok
> http://www.cs.cmu.edu/~quake/triangle.html ok
> http://www.cs.cmu.edu/~twelf 301 Moved Permanently - new location: http://www.cs.cmu.edu/~twelf/ - 302 Found - new location: http://twelf.plparty.org/ - 302 Found - new location: http://twelf.plparty.org/wiki/Main_Page - ok
> http://www.cs.cmu.edu/~twelf/dist/twelf-1-4.tar.gz ok