Activity
From 17 Feb 2024 to 17 Mar 2024
17 Mar 2024
- 10:59 Bug #1795 (In Progress): Makefile problem: needlessly relinks CoCoAInterpreter
- I think I have corrected the error. Must do more checking.
16 Mar 2024
- 14:11 Bug #1795: Makefile problem: needlessly relinks CoCoAInterpreter
- I vaguely recall Anna asking for an improvement to the @Makefile@ structure; I do not really recall why.
I also reca... - 14:07 Bug #1795 (Feedback): Makefile problem: needlessly relinks CoCoAInterpreter
- Assuming that @CoCoAInterpreter@ is already compiled (and up-to-date).
Running @make check@ in directory @src/CoCoA-... - 12:16 Bug #1794: Strange bug: demo-Osaka2015
- My @g++@ reports version info @gcc version 11.4.0 (Ubuntu 11.4.0-1ubuntu1~22.04)@
My clang reports version info @Ubu... - 12:13 Bug #1794 (Resolved): Strange bug: demo-Osaka2015
- I observe differing output with the test @demo-Osaka2015@ when compiled using @clang@ and with debugging active.
The...
15 Mar 2024
- 18:24 Design #1456: IntersectList or IntersectionList
- Think also about the names saturate/saturation, intersect/intersection.
- 15:40 Feature #823: NewPolyRing with weights -- better interface?
- See #1789-10
11 Mar 2024
- 07:56 Feature #1671: Refactor C++ impl in OnlineHelp
- John Abbott wrote:
> Currently @OnlineHelp.C@ uses CoCoALib for throwing error exceptions. It would be nice to make...
07 Mar 2024
- 22:55 Feature #1671: Refactor C++ impl in OnlineHelp
- Currently @OnlineHelp.C@ uses CoCoALib for throwing error exceptions. It would be nice to make @@OnlineHelp.C@ indep...
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, ...
Also available in: Atom