User: Arnault LapitreProject: Eclipse Formal Modeling Project™Type: CommitterStatus: ActiveActive: Thursday, February 25, 2016Contribution Activity: Commits on Eclipse Formal Modeling Project™ by Arnault Lapitre (lifetime).