On Sunday 25 March 2007 18:37, Ross Paterson wrote: > It looks good to me too. I'm in favour of a quick switch. I am not sure when I can add the final touch (darcs-all etc.), but it should be in the next few days. Perhaps we should make the CVS repo read-only already and update the web pages? Cheers, S.