The Facelift Release. Major changes:
* Many interface glitches addressed, everywhere.
- Require g++-4.7, Java 7 and boost 1.48
The Facelift Release. Major changes:
* Many interface glitches addressed, everywhere.
- Require g++-4.7, Java 7 and boost 1.48