CoCoA » CoCoA-5

16 Mar 2022

00:41 3.00 hours (Support #1393 (Feedback): GUI with Qt5)

Ulrich von der Ohe

19:26 1.00 hour (Support #1393 (Feedback): GUI with Qt5)

Checked in John Abbott

12 Mar 2022

19:23 0.10 hour (Support #1393 (Feedback): GUI with Qt5)

Why? John Abbott

19:18 0.40 hour (Support #1393 (Feedback): GUI with Qt5)

Works for me John Abbott

07 Mar 2022

15:29 1.00 hour (Feature #1526 (Closed): EmacsUI: help/manual for selected string -- or just for word with cursor on?)

Anna Maria Bigatti

10:26 0.50 hour (Slug #1629 (Closed): RingElem slow with many indets)

Anna Maria Bigatti

03 Mar 2022

20:47 1.00 hour (Support #1393 (Feedback): GUI with Qt5)

std::thread Ulrich von der Ohe

15:55 24.00 hours (Support #1393 (Feedback): GUI with Qt5)

Don't really recall how many hours it took. According to old emails, I worked on it over the course of three to four ... Ulrich von der Ohe

16:54 0.20 hour (Feature #1526 (Closed): EmacsUI: help/manual for selected string -- or just for word with cursor on?)

Clarification John Abbott

15:46 0.50 hour (Support #530 (Rejected): Interpreter error message: "for" with missing "do")

Anna Maria Bigatti

02 Mar 2022

17:28 1.00 hour (Support #169 (Closed): Font for parameters in manual)

Anna Maria Bigatti

16:11 4.00 hours (Support #406 (Closed): Manual for CoCoAManual/CoCoAHelp.xml)

Anna Maria Bigatti

25 Feb 2022

11:28 4.00 hours (Support #1393 (Feedback): GUI with Qt5)

It works! John Abbott

24 Feb 2022

14:23 0.10 hour (Support #530 (Rejected): Interpreter error message: "for" with missing "do")

Useful? John Abbott

23 Feb 2022

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

Seems OK now John Abbott

12:40 0.25 hour (Feature #1596 (Resolved): Add CoCoA5 function NmzHilbertBasisKer)

Return type/value John Abbott

12:37 0.50 hour (Design #1194 (Rejected): Rename HilbertBasisKer into LinKerHilbertBasis?)

Anna Maria Bigatti

12:28 0.50 hour (Support #1478 (Closed): HilbertBasis: clarify)

Resolved John Abbott

12:07 0.40 hour (Bug #1029 (Closed): Readline: does not recognize interrupts)

Seems OK now John Abbott