CoCoA » CoCoA-5

14 Feb 2023

21:29 Support #1688: Release CoCoA 5.4.2

**VIETNAM**
We should decide what to complete before the School in Vietnam.
The (pretty hard) deadline should be ... John Abbott

21:26 Design #1698: indent: return a string?

I do not have @IndentStr@:... John Abbott

21:23 Slug #1722 (In Progress): Daft slug

On my current linux box the timings are:... John Abbott

06 Feb 2023

15:56 Slug #1722: Daft slug

This not really serious, just unexpected/surprising.
JAA does not really think that there is anything to fix here.
John Abbott

15:55 Slug #1722 (In Progress): Daft slug

Since I'm now working for "the other side", I can send lots of bug reports ;-)... John Abbott

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