The Coq mailing list

[Michiel Helvensteijn <mhelvens AT gmail.com>]

On Fri, Jun 14, 2013 at 4:57 PM, Pierre-Marie Pédrot
<pierre-marie.pedrot AT inria.fr>
 wrote:

> If you want to fix it yourself, what you're looking for is the
> lib/unicodetable.ml file, which defines the characters handled by the
> lexer of Coq. Updating this file is somehow on my todo list, though I am
> not the most skilled one to do that.

Thanks! For what it's worth, here's the diff for my particular case (I
encompassed the whole unicode block in question).

I understand this is far from a complete update, but I'd appreciate it
if this change (at least) could be incorporated in the next revision.
Then at least I can tell people that the 'latest version' supports my
files. :-)

Cheers!

--
www.mhelvens.net

Attachment: unicodetable.ml.patch
Description: Binary data