 | No changes.
Changes in dependency
- org.overturetool.ide.overturegraphics.linux.x86_64
#4
→
#5
(detail)
- Overture IDE Eclipse graphics core feature
#4
→
#5
(detail)
- org.overturetool.ide.overturegraphics.win32.win64
#4
→
#5
(detail)
- org.overturetool.ide.overturegraphics.macosx.x86_64
#4
→
#5
(detail)
- The VDM parser
?
→
(detail)
- org.overturetool.ide.overturegraphics.win32.win32
#4
→
#5
(detail)
- The VDM Interpreter
?
→
(detail)
- The Proof Obligation Generator
?
→
(detail)
- Overture Graphics Plugin
#4
→
#5
(detail)
- The Overture Abstract Syntax Tree
?
→
(detail)
- The VDM Type Checker
?
→
(detail)
|