org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui-2.6.5-SNAPSHOT.jar
MD5: 58d80c604fb6a70ab9d5fa0296b51db2
Introduced 1 yr 10 mo ago
overture-test/org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui #197

Usage
This file has been used in the following places: