Activity
From 05 Dec 2016 to 03 Jan 2017
13 Dec 2016
- 16:53 0.25 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- Suggestion
08 Dec 2016
- 20:08 0.25 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- 13:13 0.30 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))
- Some notes
07 Dec 2016
05 Dec 2016
- 15:01 0.10 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- CoCoAManual
- 14:55 0.50 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)
- Permissions
Also available in: Atom