coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Paul A. Steckler" <steck AT stecksoft.com>
- To: coq-club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] Unicode tokens?
- Date: Wed, 8 Mar 2017 14:21:03 -0500
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=stecksoft AT gmail.com; spf=Pass smtp.mailfrom=stecksoft AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua0-f171.google.com
- Ironport-phdr: 9a23:EGOAIB20myVDvpQksmDT+DRfVm0co7zxezQtwd8Zse0VKfad9pjvdHbS+e9qxAeQG96KtrQY16GP6fiocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbQhFgDqwbal9IRi5ogndq9cajZd/Iast1xXFpWdFdf5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALMTRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljjoMOTwk/2HNksF/jqxbrhKvqRJ83oDafp2aOeFifq/BZ94WWXZNUtpTWiFHH4iyb5EPD+0EPetAoYXzvUEBrQa6BQKxGO7j0CJDiGLq3aIkz+shEgXG0xI6H94ArX/Zq871NLsMXu+pz6nF1i7Db+9I1jjh64jIaRchof+QXb5qbcXRzkwvGhrDg16NqoLlJyuY2voRv2Wf9eZtVuKih3Q5pw1soDWj3Nogh4vUio8T11vK7z92wJwvKt29UEN7YcCrEJ9XtyyCMot5WMIiQ2VxtCYn0LIKpYe3fCYXxJkl2hLTcfOHc4+P4hLsUOaePy10i25ieLK6nxqy8E6gxfPgVsSszlpGsi5InsPPu30NzRDf9NWLR/ln8ku82zuDyhjf6uReLkA1karbJYQhwrk1lpcLqkTDAjH5l1n1jK+NcUUk9PSo5v/oYrXjvJCcNot0hhviPaQpn8yzGf44PRQWX2iH5eS806Xu8lH+QLVTl/E5jq3ZsI3BKskAva64AwpV0p455BqlDjem1s4YnXgdI15fdhKHlduhB1abK/fhSPy7nl7kxDxs3rXNOqDrKpTLNHnK1rn7K+VT8UlZnUALxM1br7sSQoodLfnwXkLr/pSMFQM0OA+c2PrqA9Zm0Y0CH2mIB/nKY+vprVaU67d3cKG3b4gPtWOlJg==
On Wed, Mar 8, 2017 at 1:58 PM, Vadim Zaliva
<vzaliva AT cmu.edu>
wrote:
> If in XML protocol used by IDE character offsets to source files are used,
> it should
> be understood that even in UCS-2 some characters can take more than 2 bytes
> (see "surrogates"), etc.
In the XML protocol, errors are reported as byte offsets, rather than
character offsets. I've reported this as bug #4965.
For now, Proof General for XML assumes UTF-8 encoding, and calculates
the character offsets.
-- Paul
- Re: [Coq-Club] Unicode tokens?, (continued)
- Re: [Coq-Club] Unicode tokens?, Christian Doczkal, 03/07/2017
- Message not available
- Re: [Coq-Club] Unicode tokens?, Paul A. Steckler, 03/07/2017
- Re: [Coq-Club] Unicode tokens?, Tom Hirschowitz, 03/07/2017
- Re: [Coq-Club] Unicode tokens?, Théo Zimmermann, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Clément Pit-Claudel, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Tom Hirschowitz, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Pierre Courtieu, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Vadim Zaliva, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Matej Kosik, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Vadim Zaliva, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Paul A. Steckler, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Makarius, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Clément Pit-Claudel, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Matej Kosik, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Clément Pit-Claudel, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Matej Kosik, 03/09/2017
- Re: [Coq-Club] Unicode tokens?, Clément Pit-Claudel, 03/09/2017
- Re: [Coq-Club] Unicode tokens?, Matej Kosik, 03/09/2017
- Re: [Coq-Club] Unicode tokens?, Matej Kosik, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Vadim Zaliva, 03/08/2017
- Re: [Coq-Club] Unicode tokens?, Ralf Jung, 03/12/2017
- Re: [Coq-Club] Unicode tokens?, Clément Pit-Claudel, 03/12/2017
- Re: [Coq-Club] Unicode tokens?, Tom Hirschowitz, 03/07/2017
- Re: [Coq-Club] Unicode tokens?, Paul A. Steckler, 03/07/2017
Archive powered by MHonArc 2.6.18.