This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

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 <>
> 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.
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