Simon Peyton-Jones wrote: > Norman > > It might be time to update the web site? It seems to be updated now - the "Last edited" line now says "Tue 16 Sep". The page still says "not ready for prime time" though :-( The good news is that it seems to have acquired some manual :-) Regards, JO