Activity
From 01 Dec 2016 to 30 Dec 2016
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
01 Dec 2016
- 11:36 0.20 hour (Design #989 (In Progress): init file obligatory?)
- Command line arg
- 11:32 0.50 hour (Feature #988 (Closed): Makefile: install target for cocoa5)
- Symbolic link
Also available in: Atom