Activity
From 11 Apr 2022 to 10 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).
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....
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... - 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...
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...
Also available in: Atom