Activity
From 07 Oct 2022 to 05 Nov 2022
04 Nov 2022
- 14:31 0.15 hour (Feature #1676 (Rejected): txt2tags: include in source distribution?)
- Source with doc
- 13:45 0.75 hour (Bug #1705 (In Progress): ProgressReporter: prepare for new loop?)
- Like CpuTimeLimit
24 Oct 2022
21 Oct 2022
- 22:39 0.25 hour (Design #1703 (Resolved): Threadsafety, multithreading: optional fn arg (or separate fn))
- SumBigInt, SumBigRat
- 15:05 0.40 hour (Design #1703 (Resolved): Threadsafety, multithreading: optional fn arg (or separate fn))
- Some notes
14 Oct 2022
- 12:32 1.00 hour (Support #1700 (Closed): boost_1_80_0)
- 11:45 0.20 hour (Support #1700 (Closed): boost_1_80_0)
- General soln?
- 10:18 1.00 hour (Support #1700 (Closed): boost_1_80_0)
- 11:53 0.20 hour (Design #933 (In Progress): Separate configure scripts for CoCoALib and CoCoA-5)
- Agree to disagree?
- 11:37 0.20 hour (Slug #701 (Rejected): Makefile; limit dependencies on external libs)
- Reject?
12 Oct 2022
11 Oct 2022
- 22:00 1.00 hour (Design #1699 (In Progress): Shell scripts: Shebang line, etc)
- Some notes
- 21:38 0.20 hour (Design #1677 (In Progress): release-source script: use shell globbing?)
- Globbing
07 Oct 2022
Also available in: Atom