Activity
From 18 Feb 2022 to 19 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