coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Development version of Coq for N900

From: yakov AT yakov.cc
To: coq-club AT inria.fr
Subject: [Coq-Club] Development version of Coq for N900
Date: Tue, 16 Mar 2010 11:52:12 +0100

Dear all,

http://talk.maemo.org/showthread.php?p=568925#post568925

The Coq sources are kept, without cleaning them.

PS
For unknown reason when compiling e.g. theories/Init/Datatypes.v native coqc
seems to hang though it works fine for e.g. theories/Init/Logic.v.

Bytecode versions of tools work without problems

[Coq-Club] Development version of Coq for N900, yakov