coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Mac OS X Lion Problem

From: "Terrell, Jeffrey" <jeffrey.terrell AT kcl.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Mac OS X Lion Problem
Date: Wed, 7 Dec 2011 09:36:52 +0000
Organization: King's College London

Hi,

I've been using Coq 8.3pl2 on Mac OS X Snow Leopard for some time and it has been working fine. However, I've recently upgraded the OS to Lion (10.7.2), and I cannot now enlarge the window in which the CoqIde runs without it crashing. Any thoughts on what could be wrong? Thanks.

Regards,
Jeff.

[Coq-Club] Mac OS X Lion Problem, Terrell, Jeffrey