CoCoA » CoCoA-5

17 Apr 2020

16:19 0.20 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))

Anna Maria Bigatti

16:11 0.10 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))

Checked in John Abbott

16:07 0.30 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))

Perhaps OK now? John Abbott

15:45 0.40 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))

Fixed, sort of... John Abbott

15:22 0.10 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))

Regexp? John Abbott

15:19 0.20 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))

Amazing! John Abbott

13:58 0.25 hour (Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!))

Anna Maria Bigatti

26 Mar 2020

11:40 0.10 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Postpone? John Abbott

11:38 0.30 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

What I did for CoCoALib John Abbott

24 Mar 2020

22:37 2.50 hours (Support #1222 (Closed): Release CoCoA-5.3.0)

Anna Maria Bigatti

20 Mar 2020

13:21 0.20 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Test results John Abbott

12:57 0.10 hour (Support #1445 (New): Automatic way to produce statically linked CoCoAInterpreter)

Important John Abbott

12:54 0.10 hour (Support #1447 (Closed): Manual entry for RandomLinearForm)

Small update John Abbott

12:35 0.20 hour (Support #1447 (Closed): Manual entry for RandomLinearForm)

Some notes John Abbott

12:23 0.10 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)

OK now? John Abbott

12:22 0.20 hour (Bug #1443 (Closed): Illegal instruction)

Delayed John Abbott

12:18 0.25 hour (Bug #755 (Closed): Find out how to compile statically on linux)

Closing John Abbott