User: Mathilde ArnaudProject: Eclipse Formal Modeling Project™Type: CommitterStatus: ActiveActive: Tuesday, February 23, 2016Contribution Activity: Commits on Eclipse Formal Modeling Project™ by Mathilde Arnaud (lifetime).