The Coq mailing list

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

Hello,

To edit the QPQ entry (entries) for your system (systems), please log
in

  http://www.qpq.org

with your QPQ login and password.  (There's a link on the left-hand
side of the main QPQ webpage that allows you to create a username and
password if you don't already have one.)  Submit your system under the
name "new/<NAME>", where <NAME> is the name of your system.  (Thus, if
your system were called ACL2, submit it as new/ACL2.)  On the
submission page you can enter the correct information.  We'll then
strip the "new/" prefix in your system name.

Even if you don't wish to modify any of the fields in the entry for
your system, I would like to encourage you to register with QPQ anyway
and submit it, so that within QPQ it becomes your own.  If you're
resubmitting your system, please use the "new/" convention as
described above; we'll strip away that prefix after you make an entry
for your system.

If for some reason your system isn't in our database, you can make a
fresh submission; you don't need to use the "new/" convention.

If you've already registered with QPQ and submitted your system
yourself, then there's no need to do anything more (apart from
visiting the QPQ website and contributing to the discussion boards!)
because, as the submitter of your own system, you can modify its QPQ
entry as much as you like.

Thanks,



Jesse Alama
alama AT csl.sri.com