coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CoqIDE crashes-OpenSUSE-11.2

From: Jianzhou Zhao <jianzhou AT seas.upenn.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] CoqIDE crashes-OpenSUSE-11.2
Date: Mon, 12 Apr 2010 23:57:59 -0400
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=M2182F6LUzPC1WsJpymC0m4U/fN/f5GaTj3IyMz5BzkgwumttfKJorAvHp5Y19T4WQ Yt7VN92YhrOk2YMV9CuoWpQPttOl3261LNdbaZWR2e7dE9H84QGIK+0uMW+1WS3MhnIZ GIV8ZaQGMvIjbxejBzEw3WyL3F/REUJPWXyuM=

Hi,

coqide 8.2pl1 crashes when 'SearchAbout' (F2) or 'Check' (F3).
Pressing F3, it pops up the information window at the bottom,
but then segmentation faults... My system is OpenSUSE 11.2 with
OCaml 3.11.0. coqide for MS Windows also has the similar problem,
but it only crashes occasionally, but here it always crashes.
ProofGeneral works very well, so it doesn't seem to be problems
from coqtop. Does everyone happen to know how to fix it?

Thx.
--
Jianzhou

[Coq-Club] CoqIDE crashes-OpenSUSE-11.2, Jianzhou Zhao