Wed, 12 Mar 2008 14:51:52 +0100change splash.Hide() with splash.Close()
greg [Wed, 12 Mar 2008 14:51:52 +0100] rev 133
change splash.Hide() with splash.Close()

Wed, 12 Mar 2008 13:32:14 +0100remove double copyright and version
greg [Wed, 12 Mar 2008 13:32:14 +0100] rev 132
remove double copyright and version

Wed, 12 Mar 2008 13:29:39 +0100new manual version
greg [Wed, 12 Mar 2008 13:29:39 +0100] rev 131
new manual version