Project

General

Profile

Activity

From 07 Apr 2022 to 06 May 2022

06 May 2022

21:15 Design #1681 (In Progress): Should Starting be case-insensitive?
Currently *@starting@* is case-sensitive
_e.g._ @starting("J")@ and @starting("j")@ give quite different results....
John Abbott

20 Apr 2022

21:49 Design #1679: BuiltinFunctions-GFan includes normaliz?!?
The point is that @BuiltinFunctions.H@ needs to know the classes defined in CoCoALib;
not sure if fwd decls would su...
John Abbott
21:47 Design #1679 (New): BuiltinFunctions-GFan includes normaliz?!?
When compiling CoCoA-5, I see that @BuiltinFunctions-GFan.C@ includes the normaliz headers.
This is via @BuiltinFunc...
John Abbott

13 Apr 2022

10:46 Support #1393: GUI with Qt5
I am not entirely sure about the legal situation if we distribute the GUI
code which has licence GPLv3 along with c...
John Abbott

10 Apr 2022

18:22 Support #1393: GUI with Qt5
I have now modified @release-source.sh@ so that it copies also the GUI stuff.
Checked in. We still need to sort out...
John Abbott

07 Apr 2022

03:56 Support #1393: GUI with Qt5
Ulrich von der Ohe wrote:
> It seems that many of the files needed to build the GUI are missing from the CoCoALib 0....
Ulrich von der Ohe
 

Also available in: Atom