CoCoA » CoCoA-5

18 Jan 2023

18:18 Design #1698: indent: return a string?

missing manual Anna Maria Bigatti

18:17 Design #1698: indent: return a string?

John Abbott wrote:
> Are these changes checked in?
> [I think probably not yet]
yes, just now ;-) Anna Maria Bigatti

01 Jan 2023

12:52 Design #1698: indent: return a string?

Are these changes checked in?
[I think probably not yet]
John Abbott

12:38 Feature #1718 (Resolved): FactorINT with time-out

Implemented (but see also issue #1719).
Remaining question: fn name, currently *@FactorINT_TimeOut@* (see discussi... John Abbott