peddie/mathlib — pull request #1 by henryhallam (2012-06-14 07:00:59+00:00)
Title: one-character makefile change

...ing etc)