The Coq mailing list

[David Delahaye <delahaye AT jurancon.inria.fr>]

    Dear coq-club members,

    The Coq project Home Page has changed. So, it would be a good idea to
verify your links compared to the current hierarchy, especially if you have
links on intermediate pages. The best way to update your pages is probably to
enter the main link and explore the new arrangement. The main link is the
following (it didn't change):

    http://pauillac.inria.fr/coq/

    You will notably discover the results of the census started in september
1997, the bibliography of the project and new features very practical like:

        o A search tool for the Coq contributions: this tool uses description
          files for each contribution and so, to be efficient and useful, it
          needs your collaboration to fill the description files of your
          contributions (existing or new) in accordance with the explanations
          of this page:

              http://pauillac.inria.fr/coq/contribs/index-eng.html

          Don't be worried, it's very easy and very quickly.

        o A surfing tool for the standard library: or how jumping from a 
module
          to another with the speed and the easiness of a mouse click. Throw
          away your paper documentation.

    Your remarks are, of course, welcome.

    Regards.

    David Delahaye (WebMaster).