Activity
From 09 Sep 2022 to 08 Oct 2022
07 Oct 2022
-
15:28 0.10 hour (Support #1393 (Feedback): GUI with Qt5)
- Quick!
-
14:40 0.10 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg")
- Update
-
14:38 0.20 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg")
- Close?
-
14:35 0.10 hour (Support #1534 (In Progress): Install CoCoA-5 on MacOS-10.15+)
- Status report
-
11:06 0.40 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines)
- Closing
-
10:56 0.40 hour (Feature #35 (Rejected): Optional warnings for fn-proc arity)
- Rejecting
06 Oct 2022
-
20:51 0.20 hour (Design #1698 (Closed): indent: return a string?)
- Tests
-
20:38 0.20 hour (Support #1393 (Feedback): GUI with Qt5)
- Test script
-
20:15 0.50 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)
- Some test cases
-
20:00 0.20 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE)
- Free module names
05 Oct 2022
-
11:35 0.10 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE)
-
11:30 0.25 hour (Design #1698 (Closed): indent: return a string?)
-
11:22 1.00 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)
30 Sep 2022
-
19:12 0.10 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)
- Anna?
-
19:05 0.20 hour (Support #198 (New): Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI)
- Rivalutare
-
18:59 0.25 hour (Design #1698 (Closed): indent: return a string?)
- Undecided
28 Sep 2022
-
15:16 0.40 hour (Design #1698 (Closed): indent: return a string?)
- Prototype
-
15:00 0.25 hour (Bug #1604 (In Progress): SqFreeFactor crashes over non-perfect field)
- Status report
27 Sep 2022
-
22:36 0.30 hour (Design #1698 (Closed): indent: return a string?)
- Some notes
-
22:30 0.10 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE)
- Document?
-
22:27 0.50 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines)
- Update
-
22:20 0.20 hour (Support #1393 (Feedback): GUI with Qt5)
- Release
26 Sep 2022
-
20:30 0.25 hour (Feature #35 (Rejected): Optional warnings for fn-proc arity)
- Too tricky?
-
20:25 0.25 hour (Bug #100 (New): BringIn should map only the indets in its arg)
- Status 2022-09-26
-
16:31 1.00 hour (Feature #461 (Rejected): New keyword "|->"? (same as "return"))
- discussion
-
12:01 0.10 hour (Feature #461 (Rejected): New keyword "|->"? (same as "return"))
- Reject?
15 Sep 2022
-
14:55 0.50 hour (Design #1697 (Closed): Specifying BOOST in configure)
- Renaming
-
14:17 0.20 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)
- Almost done
Also available in: Atom