Activity
From 07 Dec 2012 to 05 Jan 2013
21 Dec 2012
-
15:57 0.25 hour (Slug #129 (New): Better GCD)
- Proposed structure
19 Dec 2012
-
17:25 1.00 hour (Feature #84 (Closed): Names for random streams)
- Removed some redundancy
12 Dec 2012
-
19:10 1.50 hour (Feature #283 (Closed): Rational approximation)
- Added tests
11 Dec 2012
-
18:34 1.00 hour (Feature #283 (Closed): Rational approximation)
- Changed name
07 Dec 2012
-
14:52 2.50 hours (Feature #84 (Closed): Names for random streams)
- first draft for unified documentation
Also available in: Atom