hadley/devtools — pull request #225 by hadley (2013-01-08 19:31:05+00:00)
Title: Better compilation (closes #224)

Based on feedback from @jjallaire