CoCoA » CoCoA-5

23 Jul 2017

16:30 0.25 hour (Bug #1093 (In Progress): GUI: bugs and slugs)

Lucky guess? John Abbott

16:20 0.50 hour (Bug #1093 (In Progress): GUI: bugs and slugs)

Some notes John Abbott

16:04 0.10 hour (Design #939 (Closed): Rename Fact to factorial?)

Obsolescent? John Abbott

17 Jul 2017

16:46 0.10 hour (Design #1092 (Closed): Design issues for discussion in July 2017)

Some keywords John Abbott

14 Jul 2017

11:04 1.00 hour (Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT)

Anna Maria Bigatti

13 Jul 2017

17:32 6.00 hours (Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT)

Anna Maria Bigatti

04 Jul 2017

13:03 0.25 hour (Bug #1087 (Closed): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist)

Worked around problem John Abbott

11:36 0.20 hour (Bug #1087 (Closed): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist)

Workaround? John Abbott

11:21 0.25 hour (Bug #1087 (Closed): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist)

Info John Abbott

29 Jun 2017

16:31 0.50 hour (Feature #1084 (Closed): New function: PrevPrime)

Anna Maria Bigatti

14:54 0.20 hour (Feature #1084 (Closed): New function: PrevPrime)

Already there John Abbott

11:46 0.25 hour (Feature #1021 (Closed): CoCoA Manual: search should ignore multiple spaces)

double quotes John Abbott