Activity
From 05 Dec 2012 to 03 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
06 Dec 2012
-
16:26 0.25 hour (Support #285 (Closed): Notes for adding/removing files from documentation)
- checking, writing
05 Dec 2012
-
15:46 0.75 hour (Feature #283 (Closed): Rational approximation)
- Implemented
-
15:31 0.10 hour (Feature #283 (Closed): Rational approximation)
- Possible names
-
15:19 0.25 hour (Feature #283 (Closed): Rational approximation)
- some suggestions
-
14:58 1.50 hour (Feature #283 (Closed): Rational approximation)
- SimplestRationalInInterval
-
14:55 0.50 hour (Feature #150 (In Progress): RingOf rather than owner? (and than AmbientRing, ...))
- similar cases
-
10:56 7.00 hours (Feature #84 (Closed): Names for random streams)
- Reorganizing existing code
Also available in: Atom