Activity
From 19 May 2022 to 17 Jun 2022
13 Jun 2022
- 15:16 0.10 hour (Support #1688 (In Progress): Release CoCoA 5.4.2)
- Main changes
- 15:14 0.10 hour (Support #1471 (Closed): Release CoCoA-5.4.0)
- Close?
09 Jun 2022
- 20:49 0.40 hour (Support #1686 (New): Manual entry for random (see also))
- Some notes
31 May 2022
- 10:27 0.10 hour (Support #169 (Closed): Font for parameters in manual)
- Close?
- 09:55 0.10 hour (Support #1663 (New): GCDList not documented)
- Some notes
Also available in: Atom