log tests/ChangeLog @ 5283:be436ac36ba4

age author description
Tue, 12 Oct 2010 18:14:12 +0100 Aidan Kehoe Don't share a counter when checking for circularity, list_merge().
Sun, 15 Aug 2010 15:42:45 +0100 Aidan Kehoe Be clearer in our error messages, #'canonicalize-inst-pair, #'canonicalize-spec