SuccessChanges

Summary

  1. -  Added cleaning phase for runtime library to Maven build cycle. - (commit: 437654b) (details)
Commit 437654b4214b34e2b6502dc85028617962a963c1 by Victor Bandur
-  Added cleaning phase for runtime library to Maven build cycle. - 
Changed make parallel option from 4 to 5 threads.
(commit: 437654b)
The file was modifiedc/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)