Event-B EMF Record Feature

This feature provides records for modelling in machines and contexts.

Release history:

Consistent naming for plug-ins and features.
Enhancement to improve its usability:
- Issue #9: NullPointerException in Record generation.
- Issue #11: Records generator causes Rodin files disappeared.

Name		Name	Last commit message	Last commit date
Latest commit History 136 Commits
.github/workflows		.github/workflows
.mvn		.mvn
ac.soton.eventb.emf.record.edit		ac.soton.eventb.emf.record.edit
ac.soton.eventb.emf.record.feature		ac.soton.eventb.emf.record.feature
ac.soton.eventb.emf.record.generator.tests		ac.soton.eventb.emf.record.generator.tests
ac.soton.eventb.emf.record.generator		ac.soton.eventb.emf.record.generator
ac.soton.eventb.emf.record.releng		ac.soton.eventb.emf.record.releng
ac.soton.eventb.emf.record.sdk		ac.soton.eventb.emf.record.sdk
ac.soton.eventb.emf.record.tests.feature		ac.soton.eventb.emf.record.tests.feature
ac.soton.eventb.emf.record.tests		ac.soton.eventb.emf.record.tests
ac.soton.eventb.emf.record.ui		ac.soton.eventb.emf.record.ui
ac.soton.eventb.emf.record		ac.soton.eventb.emf.record
.gitignore		.gitignore
README.md		README.md
pom.xml		pom.xml