Activity
From 28 Oct 2011 to 26 Nov 2011
11 Nov 2011
09 Nov 2011
- 17:39 3.00 hours (Bug #1 (Closed): MachineInteger --> MachineInt)
- 17:21 1.00 hour (Bug #1 (Closed): MachineInteger --> MachineInt)
- 16:57 2.00 hours (Bug #1 (Closed): MachineInteger --> MachineInt)
- 15:17 0.10 hour (Bug #22 (Closed): Rename PPMonoidEvZZ?)
- 15:14 0.10 hour (Feature #28 (Closed): rename RingQ, RingZ --> RingQQ, RingZZ)
- 12:07 3.00 hours (Support #26 (In Progress): Redmine Administration)
- 12:06 20.00 hours (Support #26 (In Progress): Redmine Administration)
08 Nov 2011
07 Nov 2011
Also available in: Atom