Activity
From 03 Feb 2024 to 03 Mar 2024
28 Feb 2024
- 21:27 Support #915: When is a semicolon needed to end a statement/command?
- It'd be nice if there were a clean answer to this question, but it is also quite unimportant.
I don't recall ever ha... - 21:24 Bug #611: GUI: qutting provokes Imminent Disaster
- A possibly related curiosity is that when one exits the GUI by typing in *@ciao;@* it is necessary to dismiss a smal...
- 21:21 Bug #611: GUI: qutting provokes Imminent Disaster
- I have added Uli as a watcher in case he happens to have an idea how to resolve this... he seems to be a Qt magician ...
- 21:18 Bug #611: GUI: qutting provokes Imminent Disaster
- The problem persists, but the error message is less alarming now:...
- 21:20 Bug #612 (Closed): The C5 gui does not exit properly when using the exit menu entry
- This is apparently a duplicate of #611, so I shall close this issue.
25 Feb 2024
- 20:42 Bug #1713: Windows: Qt-Gui does not link correctly
- I can confirm that adding ...
- 19:04 Bug #1713: Windows: Qt-Gui does not link correctly
- It seems to have worked on my laptop (Ubuntu). I'll do a few more checks, but hope to include the change in the next...
- 12:39 Bug #1713: Windows: Qt-Gui does not link correctly
- Thanks Ulrich! There's a lot I do not know about Qt (and many other things too). I hope to try out your suggestion...
24 Feb 2024
- 21:00 Bug #1713: Windows: Qt-Gui does not link correctly
- John Abbott wrote:
> Partial success: compilation succeeded, but attempting to run the resulting executable produced...
17 Feb 2024
- 22:58 Bug #1713: Windows: Qt-Gui does not link correctly
- These differences between the linkers on Windows and Linux are really unfortunate sometimes...
In that case, I would... - 21:27 Bug #1713: Windows: Qt-Gui does not link correctly
- Partial success: compilation succeeded, but attempting to run the resulting executable produced an error *@Cannot fin...
- 21:07 Bug #1713: Windows: Qt-Gui does not link correctly
- Great! Thanks for sorting this out. I shall test it (on Linux) shortly -- let's hope it works!
- 15:41 Bug #1713: Windows: Qt-Gui does not link correctly
- I have updated my documentation file. Actually, only three CygWin packages are needed in order to successfully build ...
- 12:05 Bug #1713: Windows: Qt-Gui does not link correctly
- I did not give up that easily on this issue: Today, I was finally able to compile the Qt5-Gui on Windows!
Recently, ...
09 Feb 2024
- 08:16 Bug #1781 (Feedback): GenReprCompute: SERIOUS ERROR
- fixed and checked in.
@GenReprCompute@ used @SyzOfGens(ideal(concat([A], [ f in GensB | not(IsZero(f)) ])))@ which, ... - 07:59 Bug #1781: GenReprCompute: SERIOUS ERROR
- I get the same error with...
08 Feb 2024
- 22:02 Bug #1781 (Feedback): GenReprCompute: SERIOUS ERROR
- I have just sync'ed with CVS, and @CoCoA5/tests/tut-CoCoLA3@ gives **SERIOUS ERROR**
Oops! Too late to invesigate...
Also available in: Atom