-
- Downloads
Disallow new Event-B EMF version again because of ordering bug
Apparently this isn't a new bug. But at least in the case of our ABZ 2023 AMAN model, it only occurs with Event-B EMF 7.x (core 6.x) and not with 6.x (core 5.x). So reverting this dependency is an improvement, I guess?
Showing
- org.eventb.texteditor.feature/feature.xml 1 addition, 1 deletionorg.eventb.texteditor.feature/feature.xml
- org.eventb.texteditor.ui/META-INF/MANIFEST.MF 3 additions, 3 deletionsorg.eventb.texteditor.ui/META-INF/MANIFEST.MF
- org.eventb.texttools/META-INF/MANIFEST.MF 3 additions, 3 deletionsorg.eventb.texttools/META-INF/MANIFEST.MF
Please register or sign in to comment