@tthuem tthuem released this Oct 20, 2014 · 3753 commits to develop since this release

Assets 2
  • Support for JML in FeatureHouse (contract composition can be configured using
    right click on a FeatureIDE project -> Properties -> FeatureIDE -> Feature
    Project -> Contract composition)
  • Syntax errors for JML in FeatureHouse projects