Home » org.overturetool.core » parser » 2.1.2 » Changes

The VDM Parser » 2.1.2

The VDM Parser
Version2.1.2compared with

Version Details

2.1.0 2.1.2
Release dateJun 12, 2014Oct 09, 2014
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

Compile Changes (2)

2.1.0 2.1.2
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.overturetool.core » ast2.1.02.1.2
~ Updated org.overturetool.core » testframework2.1.02.1.2