Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Unicode tokens?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Unicode tokens?


Chronological Thread 
  • From: Clément Pit-Claudel <cpitclaudel AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Unicode tokens?
  • Date: Wed, 8 Mar 2017 17:53:36 -0500
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=cpitclaudel AT gmail.com; spf=Pass smtp.mailfrom=cpitclaudel AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk0-f170.google.com
  • Ironport-phdr: 9a23:I0S6tRTpCSYCDjnKcaCXwcLTotpsv+yvbD5Q0YIujvd0So/mwa6yZRKN2/xhgRfzUJnB7Loc0qyN4v2mBTFLucjJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBW7oR/eu8QWjoduNqc8wQbVr3VVfOhb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnYUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhSwaMTMy7WPZhdFqjK9DvRyvuRJ/zY7Xbo+bOvVxcaHScs8VS2daQsZcVDZMDp+gY4YBDecMO/tToYnnp1sJqBuzHRehBOf1zT9NmHD227E63Pw7HwHHwAwsBswDsHDOo9XoKagdT+S1x7TPwDrfd/NW2Cv955TMch87vPGDQKx/cc7KxEkgEgPKlFSQqYj/MzyJ0eQNtnGW4ux9XuyhjG4nrht+ojmpxso0hYnJh54VylDZ9Spi2oo6Odq4SEtjbd6rFptQqjuWN4xsQsMtRWxjpSU0yqUetJKlYCQHzI4ryh3fZvCdbYSE/A7vWPyMLTp6mH5pYK+zihWo/US+y+DwTNe43ExXoiZbnNTBsG0G2QbJ5cidUPR9+1+s2TaR2ADX7eFJOUU0mrDaK54l27Iwj5kTvVjaEi/4hUn7jrOael8r+uiv7OTnbbHmqYGGO4BojQH+N7wims25AesmLggDR3aX9fi42bH5/kD0QK9GguMonqXFqpzWOMYWqrKhDw9QyIkj6hK/Dzm80NQfmHkKNE5KeAqGj4j1J17OJOr3DeqijFuylDdm3P/GPrj7DZXMKnjPiqvufbF460JE0go80chf545ICrEGOP/8RkjxtMXBAhAlNwy03v3oBc5m1oIeXGKPGrWWPLnTsV+O/OIvIvODaJUbuDbneLAZ4KvlimZ8klsAd4Go24EWYTa2BKdIOUKcNFHoA9IMF3s9hgsiCcfugUCOXDobM32qXr434jgmBI+iJYjGT4GpxreG2XHoTdVtemlaBwXUQj/TfIKeVqJUZQ==

On 2017-03-08 15:36, Matej Kosik wrote:
> (I jumped to the conclusion that this is because of some Emacs
> specific fonts because I've seen this behavior only in Emacs, nowhere
> else).

This is due to Emacs respecting the incorrect metrics of certain TeX fonts
(other applications typically ignore them); see
https://github.com/cpitclaudel/company-coq/issues/15 and
https://lists.gnu.org/archive/html/bug-gnu-emacs/2015-05/msg00696.html for
more details.

Emacs 25 includes a workaround for this issue. In Emacs 24, installing
better fonts should work.

Cheers,
Clément.





Archive powered by MHonArc 2.6.18.

Top of Page