Activity
From 26 Nov 2012 to 25 Dec 2012
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
04 Dec 2012
- 18:22 0.50 hour (Feature #84 (Closed): Names for random streams)
- 12:02 0.25 hour (Feature #84 (Closed): Names for random streams)
- Unified sources
- 12:01 0.25 hour (Feature #84 (Closed): Names for random streams)
- Unified sources
- 11:59 0.25 hour (Feature #84 (Closed): Names for random streams)
- Unified sources
- 11:58 0.25 hour (Feature #84 (Closed): Names for random streams)
- Unified sources
- 11:27 4.65 hours (Feature #84 (Closed): Names for random streams)
- Significant overhaul of documentation and examples
30 Nov 2012
- 16:26 10.00 hours (Support #75 (Closed): Documentation review by Caleo)
- The final meeting
28 Nov 2012
Also available in: Atom