Author pitrou
Recipients amaury.forgeotdarc, brian.curtin, casevh, ced, eric.smith, eric.snow, jjconti, mark.dickinson, pitrou, rhettinger, skrah, vstinner
Date 2011-12-15.14:12:24
SpamBayes Score 7.28517e-05
Marked as misclassified No
Message-id <1323958323.3345.3.camel@localhost.localdomain>
In-reply-to <1323957652.29.0.640111460598.issue7652@psf.upfronthosting.co.za>
Content
> Amaury has asked for more comments (and I agree). However, I'm not sure what 
> level of detail would be appropriate. As an example, I've posted the full
> proof of the x87 modular multiplication in umodarith.h.
> 
> 
> Even with the Coq parts stripped, this would still be a massive comment.

You could ship it as a separate .txt file (like we have e.g.
Objects/dict_notes.txt).
History
Date User Action Args
2011-12-15 14:12:25pitrousetrecipients: + pitrou, rhettinger, amaury.forgeotdarc, mark.dickinson, vstinner, casevh, eric.smith, jjconti, ced, brian.curtin, skrah, eric.snow
2011-12-15 14:12:24pitroulinkissue7652 messages
2011-12-15 14:12:24pitroucreate