greg [Wed, 12 Mar 2008 13:32:14 +0100] rev 132
remove double copyright and version
greg [Wed, 12 Mar 2008 13:29:39 +0100] rev 131
new manual version
greg [Tue, 11 Mar 2008 12:44:02 +0100] rev 130
fixed short process wainting bug. Seems wait() fail when process already finisshed... TO BE CONFIRMED.