CoCoA » CoCoA-5

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

30 Sep 2022

19:12 0.10 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)

Anna? John Abbott

19:05 0.20 hour (Support #198 (New): Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI)

Rivalutare John Abbott

18:59 0.25 hour (Design #1698 (Closed): indent: return a string?)

Undecided John Abbott

28 Sep 2022

15:16 0.40 hour (Design #1698 (Closed): indent: return a string?)

Prototype John Abbott

15:00 0.25 hour (Bug #1604 (In Progress): SqFreeFactor crashes over non-perfect field)

Status report John Abbott

27 Sep 2022

22:36 0.30 hour (Design #1698 (Closed): indent: return a string?)

Some notes John Abbott

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

Document? John Abbott

22:27 0.50 hour (Slug #750 (Closed): C5 GUI: very slow when printing many short lines)

Update John Abbott

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

Release John Abbott

26 Sep 2022

20:30 0.25 hour (Feature #35 (Rejected): Optional warnings for fn-proc arity)

Too tricky? John Abbott

20:25 0.25 hour (Bug #100 (New): BringIn should map only the indets in its arg)

Status 2022-09-26 John Abbott

16:31 1.00 hour (Feature #461 (Rejected): New keyword "|->"? (same as "return"))

discussion Anna Maria Bigatti

12:01 0.10 hour (Feature #461 (Rejected): New keyword "|->"? (same as "return"))

Reject? John Abbott

15 Sep 2022

14:55 0.50 hour (Design #1697 (Closed): Specifying BOOST in configure)

Renaming John Abbott

14:17 0.20 hour (Design #1696 (Closed): Which BOOST libs are actually needed?)

Almost done John Abbott