coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] How can I fix the submission of user contribution?

From: Takashi MIYAMOTO <tmiya AT bu.iij4u.or.jp>
To: Coq-Club <coq-club AT inria.fr>
Cc: Takashi MIYAMOTO <tmiya AT bu.iij4u.or.jp>
Subject: [Coq-Club] How can I fix the submission of user contribution?
Date: Wed, 2 Mar 2011 23:38:11 +0900

Dear Coq-club mailing list

A few weeks ago, I submitted RegExp library to user contributions
and it was accepted.  After that, I found some errata in Coqdoc
part (not in proof part).  If someone knows, could you tell me
how can I fix the submissions?  Should I just re-submit again?

Regards,

===================================
Takashi Miyamoto

[Coq-Club] How can I fix the submission of user contribution?, Takashi MIYAMOTO