coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club]Coq and Pocket PC

From: Lionel Elie Mamane <lionel AT mamane.lu>
To: riccardo-pini <riccardo-pini AT libero.it>
Cc: coq-club <coq-club AT pauillac.inria.fr>
Subject: Re: [Coq-Club]Coq and Pocket PC
Date: Fri, 10 Mar 2006 13:09:52 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

On Tue, Mar 07, 2006 at 05:12:00PM +0100, riccardo-pini wrote:

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

I don't know, but you can install GNU/Linux on your Ipaq HPO4700 and
use it there :)

--
Lionel

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