On Tue, Aug 25, 2009 at 07:54:56PM +0200, demerphq wrote: > It needs a new commit to be pushed before it will retrigger the generation.
Patches not just welcome, but required! I have pushed 5, merged from Schwern's ext_tests branch. (This is roughly an engineer's value of pi. This version of the joke: What's the value of pi? Mathematician: Well, it's pi, isn't it? Physicist: 3.14, within experimental error Engineer: Allowing for a small safety factor, 18 ) Nicholas Clark
