- Scheduler improvements and fixes.
- The obsolete gettimeofday() function has been replaced
by clock_gettime() on systems which support it.
+ - Speed and usability improvements for para_gui.
-----------------------------------------
0.4.12 (2012-12-20) "volatile relativity"