|
| From: | YAMAMOTO Mitsuharu |
| Subject: | bug#27761: Crash while using proof-general/company-coq on OS X |
| Date: | Fri, 04 Aug 2017 10:23:15 +0900 |
| User-agent: | Wanderlust/2.14.0 (Africa) SEMI/1.14.6 (Maruoka) FLIM/1.14.8 (Shijō) APEL/10.6 Emacs/22.3 (sparc-sun-solaris2.8) MULE/5.0 (SAKAKI) |
>>>>> On Wed, 02 Aug 2017 20:32:29 +0300, Eli Zaretskii <eliz@gnu.org> said:
> Thanks. The "charpos = 6" part puzzles me, because the string is
> only 4 characters long. What does this produce:
This would be the length of the string "forall", which is composed
into "∀" by prettify-symbol-mode (see my another post containing
screenshots).
YAMAMOTO Mitsuharu
mituharu@math.s.chiba-u.ac.jp
| [Prev in Thread] | Current Thread | [Next in Thread] |