Activity
From 05 Oct 2022 to 03 Nov 2022
02 Nov 2022
- 10:33 0.25 hour (Bug #1708 (New): Linux: just 1 executable, should be 2 (with & without readline))
- Some notes
01 Nov 2022
- 22:02 0.25 hour (Support #1707 (New): User forum?)
- Some notes
24 Oct 2022
21 Oct 2022
- 15:50 0.40 hour (Feature #1701 (In Progress): Preliminary packages)
- New dir
- 15:25 0.25 hour (Feature #1701 (In Progress): Preliminary packages)
- Some thoughts
19 Oct 2022
17 Oct 2022
- 14:38 0.40 hour (Feature #1701 (In Progress): Preliminary packages)
- Some notes
- 14:04 0.10 hour (Design #1568 (In Progress): RMap and image: obsolescent?)
- Progress?
- 14:02 0.20 hour (Feature #912 (In Progress): Add TUTORIALs to online manual)
- New students
- 13:59 0.10 hour (Feature #1373 (In Progress): GFan also for Microsoft?)
- Nico Mexis
14 Oct 2022
11 Oct 2022
- 20:19 0.10 hour (Support #1393 (Feedback): GUI with Qt5)
- Must wait
10 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
Also available in: Atom