2015-12-10
  v2.0.10
  - Updated to include MiniZinc 2.0.10
2015-12-07
  v2.0.9
  - Remove (unimplemented) menu item for adding files to a project.
  - Fix version number comparison to work for multi-digit minor and patch
    versions.
2015-10-19
  v2.0.8
  - Only disable the run and compile actions when a solving process is currently
    running (keep editor and rest of the user interface enabled).
  - Keep editor font setting synchronised across different IDE windows.
2015-10-06
  v2.0.7
  - Changed version number scheme to coincide with MiniZinc version.
  - Disable all editing while the solver is running (avoids race conditions).
  - Fix behaviour of stop button: avoid race condition when pressing it twice,
    and signal that process has stopped when the initial SIGINT was successful.
  - Split up extra mzn2fzn command line arguments so they get passed correctly.
  - Changed behaviour of MiniZinc path input (now doesn't check for presence
    of mzn2fzn every time the cursor leaves the input box).
  - Add configuration option to use "default behaviour" when running models,
    which is to output all intermediate solutions for optimisation problems,
    and stop after one solution for satisfaction problems.
  - Fix "Add solver" dialog (sometimes the option to add solvers would
    disappear from the drop-down menu).
  - On Windows, configure Gecode/Gist to run the correct batch file.
  - Fix a crash when activating the (un)comment or go to line actions while
    on the configuration tab.
  - Avoid opening multiple "File modified" dialogs for the same file.
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
  - Various bug fixes
  - Add integration with Coursera MiniZinc course
2015-05-12
  v0.9.7
  - Various bug fixes
  - Improved compatibility with MiniZinc 2.0.2
  - Bundled binary release (includes MiniZinc and some solvers)
2015-01-10
  v0.9.6
  - When killing a process (using the Stop action or timeout), send CTRL-C
    first, which allows the solver to exit gracefully. Solvers that do not
    react to CTRL-C are killed as before.
  - Fix copy/paste actions to also work in output window and to create
    rich text (including syntax colouring)
  - Avoid creating an empty .fzn file during compilation
  - Accept drag-and-drop to main window, opens dragged files
  - Quit menu action on Mac OS actually quits instead of just closing all
    open windows
  - Warn when loading large FlatZinc files
  - Assume UTF8 text encoding when loading and saving files
  - Keep selection of .dzn file in configuration tab when opening another
    .dzn file
2014-09-18
  v0.9.5
  - load new projects or files into existing project if it is empty
    and unmodified (avoids opening a new window)
  - fixed a bug when right-clicking into an empty area in the project
    explorer
  - fixed a bug when renaming files (in particular data files) in the
    project explorer
  - add support for multi-line (C-style) comments in the syntax
    highlighting
  - on Mac OS, show a Window menu to make it easy to switch between
    open projects, and open all files dragged onto the dock icon
    in the same project
  - fixed the hard-coded library path for the G12 lazyfd solver
  - fixed a bug that could cause a crash when closing and re-opening
    a project
2014-07-31
  v0.9.4
  - Project "drawer", better handling of projects
  - Tool bar
  - Limit additional arguments dialog to at most 10 parameters
  - Show MiniZinc version information in configuration dialog
  - More consistent handling of PATHs to MiniZinc and solvers
  - Print name of data files and additional arguments when running
    a solver
  - On Mac OS, enable QuickLook for MiniZinc files
  - Add recent files and projects to file menu
  - File dialogs open in the previously used directory
2014-04-01
  v0.9.3
  - Add elapsed time to output
  - Fix crash for files given as command line arguments
  - Make output window undockable
  - Add check for updates on startup
  - Fix bugs #4, #5, #8, #9
2014-02-03
  v0.9.2
  - Add verbose solver option
  - Save currently open project tab in project file
  - Ignore empty additional model parameters
  - Fix crash when closing modified Untitled tabs without saving
  - Fix crash after error message from solver
  - Fix project file format
  - Ask for parameter input when compiling (not just when solving)
2014-01-30
  v0.9.1
  Initial release
