leanprover/lean — pull request #380 by avigad (2014-12-22 20:38:52+00:00)
Title: various housecleaning

In particular, the markdown directory files are in better shape.