coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PCoq bug under Windows?

From: "Lukasz Stafiniak" <l_stafiniak AT hoga.pl>
To: <coq-club AT pauillac.inria.fr>
Subject: [Coq-Club] PCoq bug under Windows?
Date: Sat, 19 Oct 2002 21:46:04 +0200
Importance: normal
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Priority: normal

Hi,
Pardon asking it here, I couldn't resist...
I have expanded PCoq from Pcoqzip.zip by Winzip.
Elimination by pointing does not work. Why?
Yours sincerely,
Lukasz Stafiniak --/-(@

------------------------------------------------------------
Ju� wkr�tce w sprzeda�y nowa wersja programu mks_vir 2003 !!!
wi�cej informacji na temat nowej wersji 2003 na stronie : www.mks.com.pl

[Coq-Club] PCoq bug under Windows?, Lukasz Stafiniak