coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Maxime Dénès <mail AT maximedenes.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] CoqIDE Crashing on Mac OS X
Date: Sun, 7 Feb 2016 23:45:49 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mail AT maximedenes.fr; spf=Pass smtp.mailfrom=mail AT maximedenes.fr; spf=None smtp.helo=postmaster AT 6.mo68.mail-out.ovh.net
Ironport-phdr: 9a23:4ovKzhTHe1V/L4yAgkKuxW1vgdpsv+yvbD5Q0YIujvd0So/mwa64ZxGN2/xhgRfzUJnB7Loc0qyN4/+mAzJLucvJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuJPU4Q2XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtRrtBST8iLmod5cvxtBCFQxHcyGEbVzAzmwpJBgWNwJD83oy55i7zt+5V3SCKPMj7Qb0yVC/k4b09G0ygszsOKzNsqDKfscd3lq8O+B8=

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, Greg Bush, 02/08/2016
      - Re: [Coq-Club] CoqIDE Crashing on Mac OS X, Arthur Ryman, 02/15/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