coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] [MERGE] Fix notation for ~x in theories/Unicode/Utf8.v.

From: Stéphane Glondu <steph AT glondu.net>
To: Samuel Bronson <naesten AT gmail.com>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] [MERGE] Fix notation for ~x in theories/Unicode/Utf8.v.
Date: Mon, 31 Aug 2009 12:03:51 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Samuel Bronson a écrit :
> Fix notation for ~x in theories/Unicode/Utf8.v.
>
> Before this change, it had used:
> U+2309 RIGHT CEILING ("⌉")
> after this change, it uses:
> U+00AC NOT SIGN ("¬")

Patch applied in trunk. Thanks for your contribution.

--
Stéphane

[Coq-Club] [MERGE] Fix notation for ~x in theories/Unicode/Utf8.v., Samuel Bronson
- Re: [Coq-Club] [MERGE] Fix notation for ~x in theories/Unicode/Utf8.v., Stéphane Glondu