Activity
From 20 Oct 2013 to 18 Nov 2013
28 Oct 2013
- 14:04 1.00 hour (Bug #32 (Closed): Elim(t, I))
- done, tested, documented
26 Oct 2013
- 00:40 0.25 hour (Design #412 (In Progress): intersection (all lower case))
- Change CoCoAManual
- 21:31 0.25 hour (Design #412 (In Progress): intersection (all lower case))
- history of a name
25 Oct 2013
- 22:47 0.25 hour (Bug #32 (Closed): Elim(t, I))
- Another problem
- 22:36 0.25 hour (Bug #279 (Closed): Bug in Radical (actually a RingHom problem))
- More problems
Also available in: Atom