The Coq mailing list

[AUGER Cedric <Cedric.Auger AT lri.fr>]

Le Tue, 2 Aug 2011 12:36:39 +0200 (CEST),
Marko Maliković 
<marko AT ffri.hr>
 a écrit :

> Greetings,
> 
> When I start a difficult proof which takes time and memory Coq simply
> die after minute or two. Its interface disappears from the screen
> without any message about the reason for it. This is happening on the
> computer with Microsoft Windows Vista Business Service Pack 2. The
> computer has the AMD Athlon processor at 1.80 GHz and 4 GB of RAM.
> Does anyone know what's going on?
> 
> Thanks in advance,
> 
> Marko Maliković

I guess you meant coqide; you also should be more precise on the
problem you were trying to solve. Taking 1 or 2 minutes, is really a
bad omen.

Does your problem arise at Qed time?

> 
> -----------------------
> Dr. Sc. Marko Maliković
> Filozofski fakultet
> Sveučilište u Rijeci
> ---------------------
> Ph.D. Marko Maliković
> Faculty of Humanities and Social Sciences
> University of Rijeka, Croatia
> -----------------------------
> marko AT ffri.hr
> http://www.ffri.hr/~marko
> -------------------------
>