Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PCoq bug under Windows?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PCoq bug under Windows?


chronological Thread 
  • 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





Archive powered by MhonArc 2.6.16.

Top of Page