Repository to save the latest releases of ProB2 from the website : https://www3.hhu.de/stups/rodin/prob2/releases/2015-Spring-Release/
ProB2 is a software developped by Jens Bendispoto et al. under Eclipse Plugin Licence and used in the DeDal project created by the laboratory LGI2P @IMT Mines Alès (France). This repository is only a saving repo and it is not intented to be used for developments.