CoCoA » CoCoA-5

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

20 Jun 2017

14:24 0.20 hour (Bug #1080 (Closed): intersect: problem with zero generators)

Add tests John Abbott

16 Jun 2017

19:14 0.25 hour (Bug #1080 (Closed): intersect: problem with zero generators)

Aaargh! John Abbott

17:24 0.50 hour (Support #1077 (Resolved): Manual: remove old stuff about "devices")

Updated doc John Abbott