CoCoA » CoCoA-5

31 May 2022

10:35 Support #169 (Closed): Font for parameters in manual

Anna Maria Bigatti

10:27 Support #169: Font for parameters in manual

Can we close this issue now?
John Abbott

09:55 Support #1663: GCDList not documented

Nor is *@ExtGcd@*.
Should this issue be about all fns which are not documented? Rather than have an issue for each ... John Abbott

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