coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]Coq and Pocket PC

From: "riccardo-pini" <riccardo-pini AT libero.it>
To: "coq-club" <coq-club AT pauillac.inria.fr>
Subject: [Coq-Club]Coq and Pocket PC
Date: Tue, 7 Mar 2006 17:12:00 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

im already using Coq under Linux, but i have also a Pocket Pc HP4700, is
there a version of it for Windows Mobile 2003 on my Ipaq HP4700?

Greetings,
Riccardo Pini

[Coq-Club]Coq and Pocket PC, riccardo-pini
- Re: [Coq-Club]Coq and Pocket PC, Lionel Elie Mamane