Changes
Summary
- Update to Overture 2.6.4 and Eclipse Oxygen (commit: 15eb3a2) (details)
![]() | ide/cgen/META-INF/MANIFEST.MF (diff) |
![]() | core/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysis.java (diff) |
![]() | pom.xml (diff) |
![]() | ide/pom.xml (diff) |