CoCoA Project

20 Nov 2022

15:03 CoCoA-5 Support #1393: GUI with Qt5

It is still not clear to me what bothers you about the QCodeEdit license. As I said on the phone call you refer to, i... Ulrich von der Ohe

18 Nov 2022

21:54 CoCoA-5 Design #1709: Test tut-CoCoLA2

Ulrich von der Ohe wrote:
> Note: I have observed this bug on OpenBSD only, never on a GNU/Linux system.
The prob... Ulrich von der Ohe

17 Nov 2022

16:12 CoCoALib Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)

John Abbott wrote:
> Earlier we did try to implement a "make as much as possible" strategy, but this led to an
> ex... Ulrich von der Ohe