diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index 8c2d832..34b32af 100644 --- a/MiniZincIDE/CHANGES +++ b/MiniZincIDE/CHANGES @@ -1,3 +1,9 @@ +2015-07-30 + v0.9.9 + - Fix for clicking on error messages on Windows + - Fix syntax highlighting, used to turn itself off when saving file + under a different name + - Set default font more consistently on different platforms 2015-07-01 v0.9.8 - Add "dark mode" to change text colours