pippijn/aldor — pull request #94 by pbroadbery (2013-12-15 19:34:12+00:00)
Title: Pab/devel

Batch of misc changes, mostly aimed at reducing the number of assertion failures in 'make check'.