CoCoA » CoCoA-5

30 Apr 2020

17:09 0.25 hour (Design #1453 (New): Use symbolic links for release files)

First for linux & macos John Abbott

15:08 0.25 hour (Design #1453 (New): Use symbolic links for release files)

Some notes John Abbott

15:43 2.00 hours (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)

Anna Maria Bigatti

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

Close? John Abbott

15:12 0.10 hour (Support #1222 (Closed): Release CoCoA-5.3.0)

Not longer relevant John Abbott

14:43 0.10 hour (Support #1222 (Closed): Release CoCoA-5.3.0)

Subsumed? John Abbott

15:10 0.10 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Closing John Abbott

14:51 0.20 hour (Support #1451 (Closed): CoCoA Manual: make search keys public)

Maybe John Abbott

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