Activity
From 17 Feb 2022 to 18 Mar 2022
16 Mar 2022
- 00:41 3.00 hours (Support #1393 (Feedback): GUI with Qt5)
- 19:26 1.00 hour (Support #1393 (Feedback): GUI with Qt5)
- Checked in
12 Mar 2022
- 19:23 0.10 hour (Support #1393 (Feedback): GUI with Qt5)
- Why?
- 19:18 0.40 hour (Support #1393 (Feedback): GUI with Qt5)
- Works for me
07 Mar 2022
- 15:29 1.00 hour (Feature #1526 (Closed): EmacsUI: help/manual for selected string -- or just for word with cursor on?)
- 10:26 0.50 hour (Slug #1629 (Closed): RingElem slow with many indets)
03 Mar 2022
- 20:47 1.00 hour (Support #1393 (Feedback): GUI with Qt5)
- std::thread
- 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 ...
- 16:54 0.20 hour (Feature #1526 (Closed): EmacsUI: help/manual for selected string -- or just for word with cursor on?)
- Clarification
- 15:46 0.50 hour (Support #530 (Rejected): Interpreter error message: "for" with missing "do")
02 Mar 2022
- 17:28 1.00 hour (Support #169 (Closed): Font for parameters in manual)
- 16:11 4.00 hours (Support #406 (Closed): Manual for CoCoAManual/CoCoAHelp.xml)
25 Feb 2022
- 11:28 4.00 hours (Support #1393 (Feedback): GUI with Qt5)
- It works!
24 Feb 2022
- 14:23 0.10 hour (Support #530 (Rejected): Interpreter error message: "for" with missing "do")
- Useful?
23 Feb 2022
- 12:54 0.25 hour (Support #1447 (Closed): Manual entry for RandomLinearForm)
- Seems OK now
- 12:40 0.25 hour (Feature #1596 (Resolved): Add CoCoA5 function NmzHilbertBasisKer)
- Return type/value
- 12:37 0.50 hour (Design #1194 (Rejected): Rename HilbertBasisKer into LinKerHilbertBasis?)
- 12:28 0.50 hour (Support #1478 (Closed): HilbertBasis: clarify)
- Resolved
- 12:07 0.40 hour (Bug #1029 (Closed): Readline: does not recognize interrupts)
- Seems OK now
18 Feb 2022
- 17:40 0.20 hour (Support #1471 (Closed): Release CoCoA-5.4.0)
- Version number
- 17:16 0.20 hour (Support #1455 (Closed): In a release: which files inside the CoCoAManual )
- 17:15 0.10 hour (Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean")
- 17:13 2.00 hours (Support #1451 (Closed): CoCoA Manual: make search keys public)
- 17:01 0.40 hour (Design #1525 (Closed): CoCoA Manual: homogenize obsolete/obsolescent entries)
- 16:55 0.20 hour (Support #242 (In Progress): CoCoA-5 Projects for students (e.g. crediti F and tesi))
- Split?
- 16:50 0.20 hour (Feature #1415 (In Progress): thmproving package)
- 16:26 0.10 hour (Bug #1029 (Closed): Readline: does not recognize interrupts)
- Add to pre-release checks?
- 15:34 0.20 hour (Support #322 (In Progress): Installation instructions (on website))
- For linux
Also available in: Atom