|Date||27 August 2017, 1200 CEST|
|Participants||PGL, NP, NB, PC, HM Minutes by TO.|
Working on refactoring and support for ord/eq clauses. A new release will be made when the current features get stabilized.
Some minor fixes has been done.
Several tool enhancements has been made since the last meeting:
Next Overture release is due by September 11.
Check out the Overture 15 workshop page, for the latest information about the upcoming workshop in Newcastle.
See download stats on the downloads page
TO will make updates.
Also see Planned Publications.
No AOB was discussed.
Meeting closed at 12:38