Re: Hugs' build system

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.