Activity
From 14 Oct 2022 to 12 Nov 2022
12 Nov 2022
-
14:23 CoCoALib 0.10 hour (Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost))
- BOOST
-
14:21 CoCoALib 0.25 hour (Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost))
- Some notes
-
13:58 CoCoALib 10.00 hours (Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost))
- Progress
-
13:55 CoCoALib 0.10 hour (Bug #1600 (In Progress): Detect updated versions of external libs)
- Duplicate?
-
13:53 CoCoALib 1.50 hour (Support #1700 (Closed): boost_1_80_0)
- Oh joy!
07 Nov 2022
-
20:05 CoCoA-5 0.20 hour (Support #1393 (Feedback): GUI with Qt5)
- Licence
04 Nov 2022
-
14:31 CoCoALib 0.15 hour (Feature #1676 (Rejected): txt2tags: include in source distribution?)
- Source with doc
-
13:45 CoCoALib 0.75 hour (Bug #1705 (In Progress): ProgressReporter: prepare for new loop?)
- Like CpuTimeLimit
-
11:47 CoCoA-5 0.25 hour (Support #1393 (Feedback): GUI with Qt5)
- Simpler?
-
11:21 CoCoA-5 0.50 hour (Support #1393 (Feedback): GUI with Qt5)
- Ouch!
02 Nov 2022
-
10:33 CoCoA-5 0.25 hour (Bug #1708 (New): Linux: just 1 executable, should be 2 (with & without readline))
- Some notes
01 Nov 2022
-
22:02 CoCoA-5 0.25 hour (Support #1707 (New): User forum?)
- Some notes
24 Oct 2022
-
15:18 CoCoALib 0.50 hour (Bug #1705 (In Progress): ProgressReporter: prepare for new loop?)
- Some notes
-
09:41 CoCoA-5 0.10 hour (Support #1393 (Feedback): GUI with Qt5)
- Wow!
21 Oct 2022
-
22:39 CoCoALib 0.25 hour (Design #1703 (Resolved): Threadsafety, multithreading: optional fn arg (or separate fn))
- SumBigInt, SumBigRat
-
15:05 CoCoALib 0.40 hour (Design #1703 (Resolved): Threadsafety, multithreading: optional fn arg (or separate fn))
- Some notes
-
15:50 CoCoA-5 0.40 hour (Feature #1701 (In Progress): Preliminary packages)
- New dir
-
15:25 CoCoA-5 0.25 hour (Feature #1701 (In Progress): Preliminary packages)
- Some thoughts
19 Oct 2022
17 Oct 2022
-
14:38 CoCoA-5 0.40 hour (Feature #1701 (In Progress): Preliminary packages)
- Some notes
-
14:04 CoCoA-5 0.10 hour (Design #1568 (In Progress): RMap and image: obsolescent?)
- Progress?
-
14:02 CoCoA-5 0.20 hour (Feature #912 (In Progress): Add TUTORIALs to online manual)
- New students
-
13:59 CoCoA-5 0.10 hour (Feature #1373 (In Progress): GFan also for Microsoft?)
- Nico Mexis
14 Oct 2022
-
12:32 CoCoALib 1.00 hour (Support #1700 (Closed): boost_1_80_0)
-
11:45 CoCoALib 0.20 hour (Support #1700 (Closed): boost_1_80_0)
- General soln?
-
10:18 CoCoALib 1.00 hour (Support #1700 (Closed): boost_1_80_0)
-
11:53 CoCoALib 0.20 hour (Design #933 (In Progress): Separate configure scripts for CoCoALib and CoCoA-5)
- Agree to disagree?
-
11:37 CoCoALib 0.20 hour (Slug #701 (Rejected): Makefile; limit dependencies on external libs)
- Reject?
-
10:26 CoCoA-5 2.00 hours (Design #1697 (Closed): Specifying BOOST in configure)
Also available in: Atom