Skip to content

Final release

Latest
Compare
Choose a tag to compare
@le0tan le0tan released this 11 Nov 15:41
· 0 commits to master since this release
3e8cfb7
  • Bump test coverage (from ~39% to ~54%)
  • Update documentation (user guide, developer guide, PPP)
  • Fix various minor bugs
  • Make Problems and Plans editable from GUI