HoTT/book — pull request #284 by dvanduzer (2013-06-21 02:13:26+00:00)
Title: Convert mathpartir.sty to UTF-8 encoding

I'm trying to create an ePUB 3.0 version of this using pandoc, which
requires all input files to be in UTF-8.

This is sort of like a typo, since many utilities would otherwise render
the author's copyright as "Didier R?my"