CoCoA » CoCoA-5

08 Oct 2020

15:16 0.20 hour (Design #1504 (Closed): OnlineHelp: XMLFileName)

Some notes John Abbott

14:16 0.10 hour (Feature #1503 (New): More flexible ring creation syntax (after use or ::=))

How limited? John Abbott

14:11 0.25 hour (Feature #1503 (New): More flexible ring creation syntax (after use or ::=))

Some notes John Abbott

13:57 0.10 hour (Feature #606 (Closed): Evaluate in ring operator (was called :: in CoCoA-4))

Mostly done? John Abbott

13:54 0.10 hour (Feature #1293 (Resolved): Vim Plugin for CoCoA)

Release? John Abbott

13:48 0.10 hour (Design #637 (Closed): Undesirable consequence of automatic mapping of RingElems?)

Update John Abbott

12:32 0.40 hour (Bug #1502 (In Progress): SystemCommand in Microsoft version)

Some notes John Abbott

07 Oct 2020

12:02 0.50 hour (Design #1501 (Rejected): testing for syntax errors)

Some notes John Abbott

06 Oct 2020

15:53 1.00 hour (Design #1493 (Closed): Automatic ring mapping in assignment?)

Mostly done John Abbott

11:59 0.20 hour (Support #1498 (Closed): Export many names or just one?)

Some notes John Abbott

05 Oct 2020

16:18 0.20 hour (Feature #1487 (Closed): EOF for OpenIFile)

Question John Abbott

16:13 0.50 hour (Feature #1487 (Closed): EOF for OpenIFile)

Ahhh! John Abbott

15:48 0.20 hour (Feature #1487 (Closed): EOF for OpenIFile)

Improved doc John Abbott

15:37 0.50 hour (Feature #1487 (Closed): EOF for OpenIFile)

RTFM? John Abbott

03 Oct 2020

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

Tests John Abbott

17:08 1.00 hour (Design #1495 (Closed): Package exporting nothing?)

Testing... some questions John Abbott

02 Oct 2020

21:05 0.10 hour (Design #1495 (Closed): Package exporting nothing?)

Needs to be cleaned John Abbott

14:22 0.40 hour (Design #1495 (Closed): Package exporting nothing?)

Tests John Abbott

14:03 0.50 hour (Design #1495 (Closed): Package exporting nothing?)

First prototype John Abbott

11:31 0.50 hour (Design #1495 (Closed): Package exporting nothing?)

Anna Maria Bigatti

16:38 1.00 hour (Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign))

Root cause John Abbott

12:00 0.10 hour (Design #1496 (Rejected): Use "special" names for variables inside tests)

List of tests John Abbott

11:54 0.20 hour (Design #1496 (Rejected): Use "special" names for variables inside tests)

Some notes John Abbott

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

Rejected John Abbott

07:54 0.25 hour (Bug #1200 (Closed): Package exported function: wrong package name)

Anna Maria Bigatti

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