[Minion-general] Minion 0.12 released

[Lars K. <la...@cs...>]

We are pleased to announce that Minion 0.12 has just been released to
sourceforge. Binaries for several platforms and the source can be downloaded at
http://minion.sourceforge.net

Changelog:

- Bugfixes:
    - fix visualiser to work with more recent versions of Haskell
    - fix memory reporting on Mac OS X
    - fix some numerical issues with CPU time reporting
- Misc improvements:
    - more robust and more thorough testing

Lars