CoCoA » CoCoA-5

02 Nov 2022

10:33 0.25 hour (Bug #1708 (New): Linux: just 1 executable, should be 2 (with & without readline))

Some notes John Abbott

01 Nov 2022

22:02 0.25 hour (Support #1707 (New): User forum?)

Some notes John Abbott

24 Oct 2022

09:41 0.10 hour (Support #1393 (Feedback): GUI with Qt5)

Wow! John Abbott

21 Oct 2022

15:50 0.40 hour (Feature #1701 (In Progress): Preliminary packages)

New dir John Abbott

15:25 0.25 hour (Feature #1701 (In Progress): Preliminary packages)

Some thoughts John Abbott

19 Oct 2022

13:52 0.50 hour (Design #1698 (Closed): indent: return a string?)

Anna Maria Bigatti

17 Oct 2022

14:38 0.40 hour (Feature #1701 (In Progress): Preliminary packages)

Some notes John Abbott

14:04 0.10 hour (Design #1568 (In Progress): RMap and image: obsolescent?)

Progress? John Abbott

14:02 0.20 hour (Feature #912 (In Progress): Add TUTORIALs to online manual)

New students John Abbott

13:59 0.10 hour (Feature #1373 (In Progress): GFan also for Microsoft?)

Nico Mexis John Abbott

14 Oct 2022

10:26 2.00 hours (Design #1697 (Closed): Specifying BOOST in configure)

Anna Maria Bigatti

11 Oct 2022

20:19 0.10 hour (Support #1393 (Feedback): GUI with Qt5)

Must wait John Abbott

10 Oct 2022

12:01 0.30 hour (Design #1698 (Closed): indent: return a string?)

John Abbott

07 Oct 2022

15:28 0.10 hour (Support #1393 (Feedback): GUI with Qt5)

Quick! John Abbott

14:40 0.10 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg")

Update John Abbott

14:38 0.20 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg")

Close? John Abbott

14:35 0.10 hour (Support #1534 (In Progress): Install CoCoA-5 on MacOS-10.15+)

Status report John Abbott

11:06 0.40 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines)

Closing John Abbott

10:56 0.40 hour (Feature #35 (Rejected): Optional warnings for fn-proc arity)

Rejecting John Abbott

06 Oct 2022

20:51 0.20 hour (Design #1698 (Closed): indent: return a string?)

Tests John Abbott

20:38 0.20 hour (Support #1393 (Feedback): GUI with Qt5)

Test script John Abbott

20:15 0.50 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)

Some test cases John Abbott

20:00 0.20 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE)

Free module names John Abbott

05 Oct 2022

11:35 0.10 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE)

Anna Maria Bigatti

11:30 0.25 hour (Design #1698 (Closed): indent: return a string?)

Anna Maria Bigatti

11:22 1.00 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)

Anna Maria Bigatti