« Changelog History


OpenJML v0.8.39 Release Notes

Release Date: 2018-07-01 // almost 6 years ago

  • 🛠 Fix to crash in IDE and to installation inconsistencies.