idris-lang/Idris-dev — pull request #1090 by david-christiansen (2014-04-20 15:54:42+00:00)
Title: Give Philip credit in CHANGELOG and CONTRIBUTORS

This adds IdrisDoc to these places.