The releases can be downloaded from the proactive website at http://www.activeeon.com/downloads.html or http://gforge.inria.fr/projects/proactive/