Commit History

Author SHA1 Message Date
  Nino van Hooff c62ff262ed Change SDK version to 7.0.0 5 years ago
  Lipu Fei 6992fd2991 Update plugin versions to match package versions 6 years ago
  Ghostkeeper c235f339ae Increment API version to 6 6 years ago
  Aleksei S fe9cada459 Increase plugin API version to 5 6 years ago
  Jack Ha 1aba1cfe6a CURA-4557 model checker is now a tool, click to activate 6 years ago
  Jack Ha 50f9548da0 CURA-4557 setting up plugin 6 years ago