CoCoA » CoCoA-5

28 Jun 2014

20:48 3.00 hours (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)

probably working as wanted (and a bit cleaner) Anna Maria Bigatti

26 Jun 2014

15:33 0.25 hour (Design #576 (Closed): Disallow juxtaposition for string literals?)

No problems -- closing John Abbott

12:12 0.25 hour (Design #576 (Closed): Disallow juxtaposition for string literals?)

Reason/justification John Abbott

15:14 0.25 hour (Support #548 (Closed): Printing rings with ID)

Printing rings in resolutions John Abbott

15:11 0.25 hour (Bug #182 (Closed): Unescaped double quote inside superstring)

Closing John Abbott

12:06 0.25 hour (Bug #182 (Closed): Unescaped double quote inside superstring)

Current situation John Abbott

12:03 0.25 hour (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)

Flag for horiz/vert John Abbott

08:24 0.25 hour (Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?)

notes for investigation Anna Maria Bigatti

08:18 3.50 hours (Support #559 (Closed): Release: CoCoA-5.1.0)

almost... Anna Maria Bigatti

25 Jun 2014

19:16 0.10 hour (Design #576 (Closed): Disallow juxtaposition for string literals?)

Seems OK John Abbott

17:04 0.25 hour (Design #576 (Closed): Disallow juxtaposition for string literals?)

Relevant source code John Abbott

16:50 0.13 hour (Design #576 (Closed): Disallow juxtaposition for string literals?)

Anna Maria Bigatti

15:50 0.75 hour (Bug #164 (Closed): CoCoA-5 emacs interface bug (minor): Source & SourceRegion with troublesome filenames)

Done! John Abbott

13:14 0.10 hour (Support #548 (Closed): Printing rings with ID)

name John Abbott

13:09 0.25 hour (Support #548 (Closed): Printing rings with ID)

Some design considerations John Abbott

12:52 0.25 hour (Bug #182 (Closed): Unescaped double quote inside superstring)

No longer relevant? John Abbott

24 Jun 2014

10:36 0.25 hour (Bug #279 (Closed): Bug in Radical (actually a RingHom problem))

A wrong result John Abbott