Activity
From 31 Jan 2023 to 01 Mar 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