coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] CoqIDE Crashing on Mac OS X

From: Arthur Ryman <arthur.ryman AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] CoqIDE Crashing on Mac OS X
Date: Mon, 8 Feb 2016 19:56:58 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=arthur.ryman AT gmail.com; spf=Pass smtp.mailfrom=arthur.ryman AT gmail.com; spf=None smtp.helo=postmaster AT mail-ig0-f179.google.com
Ironport-phdr: 9a23:SWSD9B00O2g45VTasmDT+DRfVm0co7zxezQtwd8ZsegTKPad9pjvdHbS+e9qxAeQG96LtLQe2qGK6+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6NyZ7mnLzqs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYjd56p5UFCf+yP/RgDO8QMDNzOGcsocbvqBPrTA2V53JaXH9FvABPBl3s9g36Q425iDr/v+w1jCCAIc3rV/YuSDGr6Y9kTRbpjGEMMDtvozKfsdB5kK8O+EHpnBd42YOBMNmY

Maxime,

Thanks. Glad to hear the issue is being investigated.

-- Arthur

> On Feb 7, 2016, at 5:45 PM, Maxime Dénès
> <mail AT maximedenes.fr>
> wrote:
>
> Hello,
>
> An issue similar to what you describe has already been reported. We
> suspect that it comes from a GTK bug under OSX but we are still
> investigating.
>
> Sorry for the inconvenience.
>
> Maxime.
>
>> On 02/07/16 21:55, Arthur Ryman wrote:
>> I am a new Coq user. I would like to use Coq to create a formal
>> specification for a new language, SHACL, being developed at W3C.
>>
>> I have been experiencing intermittent crashes of CoqIDE on Mac OS X. I
>> am using El Capitan 10.11.3 and CoqIDE 8.5.
>>
>> The crashes often occur when I undo proof steps.
>>
>> Is this a known problem? Is there a FAQ? Any workaround?
>>
>> I have switched to using Proof General, but I'd prefer to use CoqIDE.
>> Thanks in advance for any help.
>>
>> -- Arthur Ryman
>>

[Coq-Club] CoqIDE Crashing on Mac OS X, Arthur Ryman, 02/07/2016
- Re: [Coq-Club] CoqIDE Crashing on Mac OS X, Maxime Dénès, 02/07/2016
  - Re: [Coq-Club] CoqIDE Crashing on Mac OS X, scott constable, 02/08/2016
    - Re: [Coq-Club] CoqIDE Crashing on Mac OS X, Arthur Ryman, 02/09/2016
  - Re: [Coq-Club] CoqIDE Crashing on Mac OS X, Arthur Ryman, 02/09/2016