# HG changeset patch # User James Bergstra # Date 1257893994 18000 # Node ID bc8ab7b72b451469d7b8229bda457b73749e32ba # Parent 55abddf8603a0a31d800df26994f19ff5f66486d# Parent 65efc128f1a4e01b8a8a878cc00c88043930abf1 merge