ProSMART has moved to: http://www2.mrc-lmb.cam.ac.uk/groups/murshudov/ (under "Software").