The Coq mailing list

[Jesse Alama <alama AT csl.sri.com>]

Hello,

I have added Coqm to the QPQ database, a repository of deductive
software (http://www.qpq.org).  When you have a chance, please visit
the site and study the entry we've created for your system.  Please
let me know whether you'd like to change your system's homepage
address, description, name, author list, contact information, or
classification.

Also, please consider submitting your software to our repository.  We
believe that the process is straightforward.  The QPQ Manifesto
(http://www.qpq.org/manifesto2.php) describes our goals, and argues
for the usefulness of submitting your code.  We have prepared a page
on submission guidelines (http://www.qpq.org/submission_policy.php)
for your reference.

If you have any questions, please do ask me or Natarajan Shankar (our
email addresses are below).

Thank you,



Jesse Alama 
(alama AT csl.sri.com)
Natarajan Shankar 
(shankar AT csl.sri.com)