Activity
From 04 Dec 2016 to 02 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