Activity
From 29 Sep 2022 to 28 Oct 2022
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)
12 Oct 2022
11 Oct 2022
-
22:00 CoCoALib 1.00 hour (Design #1699 (In Progress): Shell scripts: Shebang line, etc)
- Some notes
-
21:38 CoCoALib 0.20 hour (Design #1677 (In Progress): release-source script: use shell globbing?)
- Globbing
-
20:19 CoCoA-5 0.10 hour (Support #1393 (Feedback): GUI with Qt5)
- Must wait
10 Oct 2022
07 Oct 2022
-
15:28 CoCoA-5 0.10 hour (Support #1393 (Feedback): GUI with Qt5)
- Quick!
-
15:25 CoCoALib 0.15 hour (Design #1693 (Closed): SizeInBase: obsolete)
-
15:20 CoCoALib 0.10 hour (Feature #1676 (Rejected): txt2tags: include in source distribution?)
- Close?
-
15:18 CoCoALib 0.20 hour (Bug #1662 (Resolved): txt2tags: problem with filenames containing "_" or "-")
- Status?
-
14:40 CoCoA-5 0.10 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg")
- Update
-
14:38 CoCoA-5 0.20 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg")
- Close?
-
14:35 CoCoA-5 0.10 hour (Support #1534 (In Progress): Install CoCoA-5 on MacOS-10.15+)
- Status report
-
11:06 CoCoA-5 0.40 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines)
- Closing
-
10:56 CoCoA-5 0.40 hour (Feature #35 (Rejected): Optional warnings for fn-proc arity)
- Rejecting
06 Oct 2022
-
20:51 CoCoA-5 0.20 hour (Design #1698 (Closed): indent: return a string?)
- Tests
-
20:48 CoCoALib 0.25 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA)
- Current state
-
20:38 CoCoA-5 0.20 hour (Support #1393 (Feedback): GUI with Qt5)
- Test script
-
20:15 CoCoA-5 0.50 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)
- Some test cases
-
20:00 CoCoA-5 0.20 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE)
- Free module names
05 Oct 2022
-
11:35 CoCoA-5 0.10 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE)
-
11:30 CoCoA-5 0.25 hour (Design #1698 (Closed): indent: return a string?)
-
11:22 CoCoA-5 1.00 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)
30 Sep 2022
-
19:12 CoCoA-5 0.10 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)
- Anna?
-
19:05 CoCoA-5 0.20 hour (Support #198 (New): Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI)
- Rivalutare
-
18:59 CoCoA-5 0.25 hour (Design #1698 (Closed): indent: return a string?)
- Undecided
Also available in: Atom