diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index c83650c..94ed7f8 100644 --- a/MiniZincIDE/CHANGES +++ b/MiniZincIDE/CHANGES @@ -1,3 +1,13 @@ +2020-03-03 + v2.4.3 + - Disable menu items that don't make sense when all tabs are closed, + fix behaviour of stop button when all tabs closed (fixes several crashes). + - Add x86_64 suffix to linux package name (#96). + - Make boolean extra solver options with a default of true functional. + - Only read linter results if it exited normally (#97). + - Update alpine version to 3.11 + - Resolve paths in _mooc to paths + (allowing submission of models in subdirectories). 2020-01-10 v2.4.2 - Fix syntax highlighting of keywords, and add syntax highlighting for diff --git a/MiniZincIDE/MiniZincIDE.pro b/MiniZincIDE/MiniZincIDE.pro index 4102f91..793bd48 100644 --- a/MiniZincIDE/MiniZincIDE.pro +++ b/MiniZincIDE/MiniZincIDE.pro @@ -19,7 +19,7 @@ greaterThan(QT_MAJOR_VERSION, 4): { TARGET = MiniZincIDE TEMPLATE = app -VERSION = 2.4.2 +VERSION = 2.4.3 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\" bundled {