Commit message (Expand) | Author | Age | |
---|---|---|---|
* | SearchAbout and similar: add a customizable blacklist | 2011-08-11 | |
* | NZSqrt: we define sqrt_up, a square root that rounds up instead of down as sqrt | 2010-11-18 | |
* | Numbers: specs about sqrt and pow of neg numbers, even in NZ | 2010-11-02 | |
* | Numbers: NZPowProp as a Module Type, some module variable renaming | 2010-11-02 | |
* | Add sqrt in Numbers | 2010-10-19 |