|
From: | Charles A. Roelli |
Subject: | bug#27761: Crash while using proof-general/company-coq on OS X |
Date: | Thu, 20 Jul 2017 20:54:38 +0200 |
User-agent: | Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 |
I can't do C-c C-RET successfully since it gives this error: On 19/07/2017 21:20, Денис Редозубов
wrote:
|