coq-club AT inria.fr

Subject: The Coq mailing list

List archive

warning messages

From: Dimitri Hendriks <Dimitri.Hendriks AT phil.uu.nl>
To: coq-club AT pauillac.inria.fr
Subject: warning messages
Date: Sat, 12 Feb 2000 17:05:03 +0100

Hello,

Since I installed version 6.3.1, I get all lot of messages
"Warning: Failed to extract".
What does it mean and how to make it disappear?

Thanks, Dimitri Hendriks

warning messages, Dimitri Hendriks
- Re: warning messages, Hugo Herbelin