Project

General

Profile

Activity

From 10 Apr 2022 to 09 May 2022

09 May 2022

11:49 Design #1681: Should Starting be case-insensitive?
yes, I think that would be a good idea, case insensitive (ci by default if we allow both).
Anna Maria Bigatti

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
 

Also available in: Atom