On Tue, Feb 12, 2013 at 07:33:28PM +1100, Peter Moulder wrote: > > (I tried to get an up-to-date checkout, but I'm getting Connection timed out. > Might be a network/firewall problem at my end.) Do you recall that we're now using git and github? https://github.com/Mercury-Language/mercury -- Paul Bone http://www.bone.id.au