CoCoA » CoCoA-5

30 Sep 2020

17:36 0.10 hour (Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign))

Some notes John Abbott

17:29 0.10 hour (Design #1493 (Closed): Automatic ring mapping in assignment?)

Some notes John Abbott

11:43 0.20 hour (Design #1477 (Closed): Packages: questions from Andraschko)

To discuss... John Abbott

28 Sep 2020

15:08 0.25 hour (Support #1486 (In Progress): Emacs UI: indentation in a package)

Where John Abbott

23 Sep 2020

11:22 0.25 hour (Bug #1200 (Closed): Package exported function: wrong package name)

Mistake??? John Abbott

11:19 0.10 hour (Bug #1200 (Closed): Package exported function: wrong package name)

Source code John Abbott

11:09 0.10 hour (Bug #1200 (Closed): Package exported function: wrong package name)

Postponing John Abbott

11:06 0.20 hour (Support #692 (Rejected): Local variables hiding out ones at top level)

More thoughts John Abbott

10:42 1.50 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)

First impl John Abbott

17 Sep 2020

16:06 0.10 hour (Feature #1415 (In Progress): thmproving package)

News? John Abbott

15:59 0.50 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)

More notes John Abbott

15 Sep 2020

15:20 0.25 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)

Good point John Abbott

14 Sep 2020

18:19 0.20 hour (Support #1486 (In Progress): Emacs UI: indentation in a package)

Some notes John Abbott