The Coq mailing list

[Marko Malikovi� <marko AT ffri.hr>]

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æ

-----------------------
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
-------------------------