Change log

MiniZinc · Jul 30, 2015 · 846695f · 846695f
1 parent fbbf13a
commit 846695f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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