CoCoA » CoCoA-5

15 May 2020

13:56 0.25 hour (Support #1111 (Closed): CoCoAManual: searching for ?? mat and for ?? matrix give different results)

Anna Maria Bigatti

12:11 0.20 hour (Support #1111 (Closed): CoCoAManual: searching for ?? mat and for ?? matrix give different results)

Mostly OK John Abbott

11:01 0.20 hour (Support #1111 (Closed): CoCoAManual: searching for ?? mat and for ?? matrix give different results)

Anna Maria Bigatti

13 May 2020

10:30 0.50 hour (Support #1459 (Closed): Manual entries for mod and div)

Mostly done John Abbott

10:00 0.25 hour (Support #1459 (Closed): Manual entries for mod and div)

Some notes John Abbott

12 May 2020

14:32 0.20 hour (Design #1453 (New): Use symbolic links for release files)

Not sure if this is a good idea John Abbott

14:29 0.40 hour (Support #322 (In Progress): Installation instructions (on website))

Another variant John Abbott

06 May 2020

11:30 0.20 hour (Design #1456 (New): IntersectList or IntersectionList)

Some notes John Abbott

04 May 2020

16:17 0.40 hour (Support #1454 (New): Filenames in release CoCoAManual/html containing [obsolete])

Example John Abbott

01 May 2020

05:52 0.25 hour (Support #1450 (Closed): Release CoCoA-5.3.2)

Some notes John Abbott

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