coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
Archive powered by MhonArc 2.6.16.