Activity
From 30 Jan 2023 to 28 Feb 2023
27 Feb 2023
- 20:45 0.30 hour (Design #1681 (In Progress): Should Starting be case-insensitive?)
- Revised code
- 20:23 0.10 hour (Design #1681 (In Progress): Should Starting be case-insensitive?)
- Both?
- 12:57 0.50 hour (Slug #1722 (In Progress): Daft slug)
- 11:48 0.50 hour (Feature #1724 (Closed): New function: AdjacentMinors)
14 Feb 2023
- 21:29 0.10 hour (Support #1688 (In Progress): Release CoCoA 5.4.2)
- Vietnam
- 21:26 0.10 hour (Design #1698 (Closed): indent: return a string?)
- Checked in?
- 21:23 0.25 hour (Slug #1722 (In Progress): Daft slug)
- Reference timings
06 Feb 2023
- 15:56 0.25 hour (Slug #1722 (In Progress): Daft slug)
- Some notes
Also available in: Atom