michael@0: Release 0.7.1, 30 July 2013
michael@0:   No changes, repackage to integrate new license and remove splashscreen.
michael@0: 
michael@0: Release 0.7.0, 26 July 2013
michael@0:   Initial development.