The Coq mailing list

[Bill Richter <richter AT math.northwestern.edu>]

   Bill, please read the first page of the cover paper for the library
   before trying things. The library won't compile with Coq8.4pl3. You
   need to get Coq8.3pl2 (how to get it is explained in the main
   README file of the library), patch it (how to do it is explained in
   the README file for the subdirectory Coq_patches of the library)
   and then compile and install it.

   After that the library itself should compile with the "make"
   command from the directory Foundations/

Thanks, Vladimir.  I've been a poor correspondent due to the crazy weather in 
Chicago (-45 F on Monday), but it's getting warmer.  Your advice is great for 
compiling on the NWU math dept machines, where the standard Coq installation 
worked.  But for the machine I normally work on, I haven't been able to 
compile any version of Coq.

-- 
Best,
Bill