Activity
From 21 Oct 2011 to 19 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