Message149559
| 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.285171e-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:25 | pitrou | set | recipients: + pitrou, rhettinger, amaury.forgeotdarc, mark.dickinson, vstinner, casevh, eric.smith, jjconti, ced, brian.curtin, skrah, eric.snow |
| 2011-12-15 14:12:24 | pitrou | link | issue7652 messages |
| 2011-12-15 14:12:24 | pitrou | create | |