EMF_Containment

This feature provides EMF support for containment mechanism for Event-B.

Name		Name	Last commit message	Last commit date
Latest commit History 46 Commits
.mvn		.mvn
ac.soton.eventb.emf.containment.edit		ac.soton.eventb.emf.containment.edit
ac.soton.eventb.emf.containment.feature		ac.soton.eventb.emf.containment.feature
ac.soton.eventb.emf.containment.persistence		ac.soton.eventb.emf.containment.persistence
ac.soton.eventb.emf.containment.releng		ac.soton.eventb.emf.containment.releng
ac.soton.eventb.emf.containment.sdk		ac.soton.eventb.emf.containment.sdk
ac.soton.eventb.emf.containment.tests		ac.soton.eventb.emf.containment.tests
ac.soton.eventb.emf.containment		ac.soton.eventb.emf.containment
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
pom.xml		pom.xml

Provide feedback