Wed, 12 Mar 2008 14:51:52 +0100 greg change splash.Hide() with splash.Close()
Wed, 12 Mar 2008 13:32:14 +0100 greg remove double copyright and version
Wed, 12 Mar 2008 13:29:39 +0100 greg new manual version