EMF_EventB_Extensions

Generic features to support developers making extensions to the EventB EMF Framework.

Name		Name	Last commit message	Last commit date
Latest commit History 181 Commits
.github/workflows		.github/workflows
.mvn		.mvn
ac.soton.eventb.emf.core.extension.edit		ac.soton.eventb.emf.core.extension.edit
ac.soton.eventb.emf.core.extension.feature		ac.soton.eventb.emf.core.extension.feature
ac.soton.eventb.emf.core.extension.navigator		ac.soton.eventb.emf.core.extension.navigator
ac.soton.eventb.emf.core.extension.persistence		ac.soton.eventb.emf.core.extension.persistence
ac.soton.eventb.emf.core.extension.releng		ac.soton.eventb.emf.core.extension.releng
ac.soton.eventb.emf.core.extension.sdk		ac.soton.eventb.emf.core.extension.sdk
ac.soton.eventb.emf.core.extension		ac.soton.eventb.emf.core.extension
.gitignore		.gitignore
.travis.yml		.travis.yml
README.md		README.md
pom.xml		pom.xml

Provide feedback