coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CoqIDE Crashing on Mac OS X

From: Arthur Ryman <arthur.ryman AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] CoqIDE Crashing on Mac OS X
Date: Sun, 7 Feb 2016 15:55:46 -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-ob0-f177.google.com
Ironport-phdr: 9a23:aet1eBUWK27jDNIVKGWTQqY77/3V8LGtZVwlr6E/grcLSJyIuqrYZhCHt8tkgFKBZ4jH8fUM07OQ6PC/HzZdqs/d6TgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2MJV8Vz2PhOPtbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN/dwcbsNBzM/dmsx+cfDtB/ZTALJ6GFPfH8Rl09hGRTF8QuyZIb0uy2y4uNnxCmHJ4vsXLU9Xxyt6q5qTFnjjyJRZG1xy33elsEl1PETmxmmvREqm4M=

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